I am an associate professor in the School of Computing at the University of
Utah, where I lead the Software Analysis Research Laboratory
(免费加速器上网). 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.