I am a principal applied scientist at Amazon Web Services (AWS). I am on a
leave of absence from the School of Computing at the University of Utah, where
I am an associate professor and 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: June, 2021), short biography.