A verifying compiler for the
language presented in The Calculus of Computation
Free subversion repositories. Easy web interface to create and edit the settings of your repository.
View, vote and comment on bills in the U.S. Congress. (Not fully working at the moment due to technical difficulties with a server transition.)
Sponsored Search Auction Research
View the poster
from my summer research with Joel Galenson, or read the paper
I wrote with Joel Galenson and Mukund Sundararajan.
I'm looking at ways to do haplotype phasing using partial pedigree information. I don't have anything to post right now, but perhaps I will soon.