<%= $xmlHeader %> <%= $xhtmlDoctype %> timshel.org - computer science <% readHeader(); %>
computer science

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

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