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
Sam Coogan
Assistant Professor, Electrical and Computer Engineering · Georgia Tech - COE
Sam Coogan researches in the area of dynamical systems and focuses on developing tools for cyber-physical systems.
Formal Methods Cyber-Physical Systems Autonomous Systems Transportation Networks Control Theory
Rita Singh
Associate Professor · Carnegie Mellon University
Rita Singh works on core algorithmic aspects of computer voice recognition and artificial intelligence applied to voice forensics.
IoT Security and Privacy Formal Methods AI and ML for Security Cryptography Emerging Applications Security
Dr. Akramul Azim
Assistant Professor, Faculty of Engineering and Applied Science · University of Ontario Institute of Technology
Computer science expert, exploring the advantages of state-based communication scheduling and network code in real-time systems
Ender Yuksel
Postdoctoral Researcher · Technical University of Denmark
Researcher, Computer Scientist
Security Verification Sensors
Betty Cheng
Professor of Computer Science and Engineering · Michigan State University
An expert in safety and security of high-assurance computing systems
Dynamically-Adaptive Systems Medical and automotive information systems Computer systems safety Homeland Security Distribution Computing