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
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