Shuyang Liu
Lecturer in Computer Science · Loyola Marymount University
Seaver College of Science and Engineering
Formal Verification Programming Languages Compilers and Interpreters
Sherif Abdelwahed, Ph.D.
Professor, Department of Electrical and Computer Engineering · VCU College of Engineering
Dr. Abdelwahed is a professor in the Department of Electrical and Computer Engineering
Autonomic Computing Model based Design and Analysis of Cyber-phyiscal Systems Formal Verification System Diagnosis and Fault Analysis Model-integrated Computing
Taghi Khoshgoftaar, Ph.D.
Motorola Professor · Florida Atlantic University
Taghi Khoshgoftaar researches computer security and intrusion detection systems.
Computer Security and Intrusion Detection Systems Software Engineering Machine Learning Data Mining Big Data Analytics
Carl Elks, Ph.D.
Associate Professor, Department of Electrical and Computer Engineering · VCU College of Engineering
Professor Elks' career focuses on maturing and advancing the state of the art in the areas of safety assessment and fault tolerance.
Runtime Verification and Monitoring Fault Injection for Cyber Physical Systems Complexity Aware Design for Critical Systems Assessment Methods for Dependable and High Integrity Systems Cyber Physical Systems
Prabhat Mishra
Professor · University of Florida
Prabhat Mishra's research focuses on design and verification of energy-efficient and trustworthy electronic systems.
Computer Architecture Hardware Verification Artificial Intelligence Cybersecurity Quantum Computing