I’m a 3rd year PhD student at UT Austin’s UToPiA group, advised by Isil Dillig and Swarat Chaudhuri. My research focuses on the intersection of program analysis and machine learning. Specifically, I’m interested in developing tools and techniques which can analyze machine learning systems to guarantee safety. Before joining the UToPiA group I received my BS in Computer Engineering and Mathematics from the University of Virginia.