My research helps software developers write code that executes as intended. My interests are in programming languages, formal methods, automated reasoning, logic, program synthesis, verification, and security.

Bio: I am an Assistant Professor in the Gianforte School of Computing at Montana State University. Previously, I was an Applied Scientist at Amazon Web Services (AWS) where I became a maintiner of the Cedar open source authorization language. Before AWS, I was a PostDoctoral Research Associate at the University of Wisconsin--Madison working with Loris D'Antoni and Tom Reps. I received my PhD in computer science from Princeton University in 2023 where I was advised by Zak Kincaid. I received my BS in Computer Science from Ohio University's Honors Tutorial College in 2016 and my MA in Computer Science from Princeton University in 2018.