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