Software Verification Lab.
We study automated techniques to verify the reliability, security, and safety of complex software, including cyber-physical systems and artificial intelligence systems.
Logic and Algorithms for Software Verification
Modeling and Verification of Autonomous Cyber-Physical Agents
Automated Analysis of Safety-Critical AI Software