Formal Verification Experts
Connect for media, speaking, professional opportunities & more.
Filters
Shuyang Liu
Lecturer in Computer ScienceLoyola Marymount University
Seaver College of Science and Engineering
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
Taghi Khoshgoftaar, Ph.D.
Motorola ProfessorFlorida Atlantic University
Taghi Khoshgoftaar researches computer security and intrusion detection systems.
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.
Changliu Liu
Associate ProfessorCarnegie Mellon University
Changliu Liu's work focuses on assured autonomy, specifically trustworthy robotics systems that work with people.
Chibuzo Ukegbu
Assistant ProfessorMilwaukee School of Engineering
Chibuzo Ukegbu's research focuses on formal verification and analysis of industrial control systems software.
Prabhat Mishra
ProfessorUniversity of Florida
Prabhat Mishra's research focuses on design and verification of energy-efficient and trustworthy electronic systems.
Taqi Raza
Assistant Professor of Electrical and Computer EngineeringUniversity of Massachusetts Amherst
Taqi Raza is an expert in developing secure and reliable solutions for emerging digital ecosystems.
Rosemary Kim, Ph.D.
Professor of Accounting, College of Business AdministrationLoyola Marymount University
Chair, Department of Accounting