Previous Work

2007 Summer: Tabulator, some updating stuff, Labeler
2008 IAP: a hack to solve the Tabulator 303 problem
2008 Summer: websizing HOL light, a theorem prover (half of the work is lost because my laptop got stolen recently. Darn.)
2008 Fall: do work for Bonnie Berger's postdoc in hope that some data could be available via SPARQL (but failed). A little extension to phenny.

Currect Work