image-title-here I am an associate professor in the School of Computing at the University of Utah, where I lead the Software Analysis Research Laboratory (SOARlab). My work aims to improve the reliability and resilience of complex software systems by empowering developers with practical tools and techniques for analysis of their artifacts. To achieve this, my research spans multiple areas, including formal verification, programming languages, software engineering, and security.

Curriculum Vitae (Last updated: March, 2024), short biography.