CS PhD student (began 2001)
Advisors: Bob Harper, Karl Crary Office: Wean 8301
Phone: 412-683-0465(h) 412-268-3074(o)
This is my new serious web page. I used to have an
anti-design experiment here, but now that
I'm an actual graduate student I need to be a little bit less obscure,
since someone might actually want to contact
me or read my papers.
I'm a programming languages researcher, working on
the ConCert
Project. Like many PL folks, I am highly idealistic and easily
frustrated by the glacial pace at which beautiful ideas gain
acceptance in the greater programming crowd. I'll be glad to argue
with you about whatever, but these days I just like to have a good
time programming in elegant and useful languages.
I love to make things. For many years, I used to
crank out loads of TrueType
fonts. I still do that from time to time, but today you're
more likely to find me with my guitar and homebrew
plugins writing albums in profusion for
my new art movement, crap
art. I also like to make intricate Nintendo-esque songs with primitive
waveforms. Check out all my music
stuff. If you go outside, you might even catch me trying for
the ultimately shallow depth-of-field with my camera.
In 2003 I gave up on all other non-work projects for
a month in order to write a novel. In 2004
I did it again.
Escape is a cool
cross-platform puzzle game I made.
Spare cycles during class are directed into my notes,
which are a stream-of-consciousness circus of typography and
cartooning. They're collected in Illustrated Notes
from Computer Science for your amusement. Traditional
note-taking has never worked for me, but sometimes I can actually look
at these and remember what was going on in class that day...
snoot.org is a
highly interactive web page I made some time ago, and occasionally
work on.
Back when I was an undergraduate at CMU, I made a
different web page
that has lots of other stuff on it and is kind of embarrassing.
And finally, though this page is rather static, I
have a weblog called Tom 7
Radar which I keep up-to-date with my adventures and
productions.
