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.

posts

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.
elab
Proof elaboration for Haskell.
haggis
High school senior research project: implementing a parser and typechecker for the Haggis language.
reactive.py
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).
jisp
A simple Lisp interpreter in Java.