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
Taghi Khoshgoftaar, Ph.D.
Motorola ProfessorFlorida Atlantic University
Taghi Khoshgoftaar researches computer security and intrusion detection systems.
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