I'm an assistant professor of Computer Science at Colorado State University, and previously taught at Colorado School of Mines and the University of New Mexico. I received my Ph.D. from the CUPLV group at the University of Colorado Boulder in 2018. I'm currently working on research in programming languages and synthesis/verification, with applications in domains such as networking, (distributed) systems, and compilers. My overall goal is to develop tools and techniques to help programmers write better code in security- and safety-critical domains. In my free time, I enjoy hiking, rock climbing, and unicycling.