I am a researcher. I have a patent pending.

Current research interests include program synthesis, compiler design, static program analysis, cloud computing, distributed systems, formal methods in PL, and automated program repair.

Undergraduate Researcher Carnegie Mellon University August 2015 – Spring 2017

Principal Investigator: Dr. Jonathan Aldrich

Principal Investigator: Dr. David Fisher May 2013 – May 2014