Formal Methods in AI Rigorous foundations for trustworthy intelligent systems

Group members

Researchers combining formal verification, logic, programming languages, and machine learning to build safe intelligent systems.

Prof. Alex Example
Principal Investigator
Formal methods, program verification, safety for learning systems
alex@example.org · website
Dr. Casey Logic
Senior Researcher
Temporal logics, runtime monitoring, AI assurance
Dr. Morgan Systems
Senior Researcher
Hybrid systems, control, verification of robotics
Jamie Nguyen
Postdoctoral Researcher
SMT solving for neural network verification
Samira Patel
PhD Student
Specification learning and robust policy synthesis
Luca Rossi
PhD Student
Certified runtime monitors for large models