I am a software engineering PhD student at the Institute for Software Research at Carnegie Mellon University, where I am advised by Dr. Claire Le Goues. My research interests are primarily in mutation testing, program analysis and test generation, specifically how we can improve the state of quality assurance and testing in industry.
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.