AI for Formal Verification
We build AI-assisted tools for proof engineering and verification-aware programming languages. This work explores how large language models, retrieval, programmatic proof interaction, and verification feedback can reduce the effort required to develop and maintain formally verified software.
See the posts and publications below for more details.
Computer Scientist
My research interests include software reliability, software verification, and formal methods applied to software engineering. For more details, see some of my projects or my selected (or recent) publications. More posts are available in my blog. Follow me on Twitter or add me on LinkedIn. See also the Software Reliability Lab website.
Posts
ACM SIGSOFT Distinguished Paper Award at ICSE 2025
Our paper “Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification” has received an ACM SIGSOFT Distinguished Paper Award at ICSE 2025.
Publications
🏆 ACM SIGSOFT Distinguished Paper award.