Formal Methods Experts

Research Scientist / Engineer, AgeLabMIT Center for Transportation & Logistics

Dr. Reimer is a researcher, advisor, author, and speaker on technology, human behavior, and policy shaping the future of mobility and AI.

Artificial IntelligenceDriver Behavior (Older & Younger)Driver Attention ManagementAutomated Vehicle SafetyDriving Simulation

ProfessorUniversity of Florida

Prabhat Mishra's research focuses on design and verification of energy-efficient and trustworthy electronic systems.

Computer ArchitectureHardware VerificationArtificial IntelligenceCybersecurityQuantum Computing

Assistant Professor, Department of Mechanical and Nuclear EngineeringVCU College of Engineering

Dr. Cardona researches specification-driven autonomy for safe, reliable human–robot interaction and multi-robot coordination.

Humanoid RobotsGround robotsQuadrotorsRobot coordinationSafe human-robot interaction

Assistant Professor, Electrical and Computer EngineeringGeorgia Tech - COE

Sam Coogan researches in the area of dynamical systems and focuses on developing tools for cyber-physical systems.

Formal MethodsCyber-Physical Systems Autonomous SystemsTransportation NetworksControl Theory

Assistant Professor, Faculty of Engineering and Applied ScienceUniversity of Ontario Institute of Technology

Computer science expert, exploring the advantages of state-based communication scheduling and network code in real-time systems

Postdoctoral ResearcherTechnical University of Denmark

Researcher, Computer Scientist

SecurityVerificationSensors

Filters