Top Formal Methods Experts
Search thousands of experts from around the world.
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
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
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
Postdoctoral Researcher · Technical University of Denmark
Researcher, Computer Scientist
Security Verification Sensors