Researcher

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

• Compiler design and language theory for the Wyvern programming language. Implementation of path-dependent types, generic types, type inference

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.