About me

I am a software engineering PhD student at the Software and Societal Systems Department at Carnegie Mellon University, where I am advised by Dr. Claire Le Goues. My research interests are primarily in ML for software engineering, software testing and program analysis.

Prior to starting my PhD, I attended UT Austin, where I worked with Dr. Milos Gligoric on the topics of mutation testing and test generation. We were able to apply mutation testing to the domain of formal verification, where we mutated proof definitions and used the results of this testing to detect incomplete specifications. For more details about this work and my other papers, see the publications tab.