Experience
Education
Bio
I am an assistant professor at the computer science department of the University of Texas at Austin where I lead the UToPiA research group . My main research interests are program analysis and verification, program synthesis, and automated logical reasoning. The overarching goal of my research is to make software systems more reliable, secure, and easier to build in a robust way.Prior to joining UT Austin, I worked as a researcher at Microsoft Research Cambridge (2013-2014) and as an assistant professor at the College of William & Mary (2012-2013). I am also a recipient of the NSF CAREER award and the Sloan Fellowship. My main research interests are static program analysis/verification, program synthesis, and automated logical reasoning. I am interested in developing tools and novel techniques to make software systems more secure and reliable. In particular, my research focuses on automatically proving the absence of certain classes of errors (e.g., memory safety errors, assertion failures etc.) and security vulnerabilities in software. I am also interested in techniques for automatically synthesizing programs from formal or informal specifications