I am a PhD student at Northeastern University in the College of Computer and Information Science. Since I've been a grad student I've also had research assistantships at BBN and NASA.

I am involved with the Programming Research Laboratory at Northeastern as well as PLT and sometimes the TeachScheme! workshop.

The following is more of a to-do list than anything else, really.

binary lexer/parser generator
Scheme build script tool, à la Ant
Scheme implementation of the Blue calculus
Wiki2LaTeX
iCite (iTunes-like view over a library of collected research papers)
hack Robby's reduction semantics engine to produce proofs, integrate with parsers and pretty-printers
a PLT Scheme library for SQLite

---

created January 28, 2002
last modified <%= lastModified() %>