I am a Research Associate Professor in the Kahlert School of Computing at the University of Utah. My research focuses on the design and implementation of trustworthy systems software.