Here you can find information on different things I've worked on that may be of interest.
-
Undergraduate Thesis
I wrote my undergraduate thesis, Generalizing the Curry-Howard Isomorphism to Classical Logic, with Jim Fix. You can get a PDF of it here. In addition, you can have a look at some notes on talk that I gave on the subject. -
Oregon State REU
I participated in the math REU program at Oregon State University over the summer of 2012, working with Glencora Borradaile. A writeup of my group's work may be found here.