Research
Our research spans software engineering, theoretical computer science, and mathematical logic.
Software Engineering
Ensuring software safety with AI and mathematics
Using AI, mathematics, and logic to automatically assure that software behaves correctly. We focus on the safety and security of cyber-physical systems and software supply chains.
Theoretical Computer Science
Logical foundations of software verification
Studying the logical systems used to specify and verify software correctness, with a focus on how temporal logic applies to systems with stochastic behavior.
Mathematical Logic
Approaching computational complexity through logic
We study open questions in computational complexity theory through the logical framework of bounded arithmetic, aiming to clarify the relationship between proof complexity and computational efficiency.