Experts Matter. Find Yours.

Connect for media, speaking, professional opportunities & more.

Filters

Shuyang Liu

Shuyang Liu

Lecturer in Computer ScienceLoyola Marymount University

Seaver College of Science and Engineering

Formal VerificationProgramming LanguagesCompilers and Interpreters
Taghi Khoshgoftaar, Ph.D.

Taghi Khoshgoftaar, Ph.D.

Motorola ProfessorFlorida Atlantic University

Taghi Khoshgoftaar researches computer security and intrusion detection systems.

Computer Security and Intrusion Detection SystemsSoftware EngineeringMachine LearningData MiningBig Data Analytics
Sherif Abdelwahed, Ph.D.

Sherif Abdelwahed, Ph.D.

Professor, Department of Electrical and Computer EngineeringVCU College of Engineering

Dr. Abdelwahed is a professor in the Department of Electrical and Computer Engineering

Smart City InfrastructureModel-integrated ComputingSystem Diagnosis and Fault AnalysisFormal VerificationModel based Design and Analysis of Cyber-phyiscal Systems
Carl Elks, Ph.D.

Carl Elks, Ph.D.

Associate Professor, Department of Electrical and Computer EngineeringVCU 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 MonitoringFault Injection for Cyber Physical SystemsComplexity Aware Design for Critical SystemsAssessment Methods for Dependable and High Integrity SystemsCyber Physical Systems
Chibuzo Ukegbu

Chibuzo Ukegbu

Assistant ProfessorMilwaukee School of Engineering

Chibuzo Ukegbu's research focuses on formal verification and analysis of industrial control systems software.

Software EngineeringCloud SecurityComputingCloud Infrastructure DeploymentAutomation and Configuration Management
Prabhat Mishra

Prabhat Mishra

ProfessorUniversity of Florida

Prabhat Mishra's research focuses on design and verification of energy-efficient and trustworthy electronic systems.

Computer ArchitectureHardware VerificationArtificial IntelligenceCybersecurityQuantum Computing