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
Implementation of the Omega Programming language, a property-oriented programming language developed in C and with focus on a natural language syntax, multiprocessing, real-world modeling, and high performance systems.
Developed an Earley Metaparser, a parser that performs in the best possible time complexity, and returns all parses of an infinitely ambiguous grammar, for any sentence in any context-free language, with no restrictions on the grammar.