I'm a math and computer science student at Cornell (and TJ '15!) interested in the applications of programming language theory and logic to software engineering.


projects and research

My github page has a complete listing of projects I've worked on, but here are some of the highlights.

refined logic
A framework for implementing proof assistants for refinement logics.
Proof elaboration for Haskell.
High school senior research project: implementing a parser and typechecker for the Haggis language.
Codeveloped a reactive programming library for python on the idea that reactive variables are functions that have constant or reactive "dependencies" (i.e. fixed arguments).
A simple Lisp interpreter in Java.