About

I am an assistant professor in the computer science department at Reed College. My research focuses on the intersection of program analysis and machine learning, especially with an eye toward ensuring the safety of machine learning systems. Specifically, my recent work has explored the use of neurosymbolic programming to develop agents which can interact safely with an environment.

Prior to joining Reed, I earned my PhD at UT Austin’s UToPiA and Trishul groups, advised by Isil Dillig and Swarat Chaudhuri.