I work for The MITRE Corporation in Bedford, Massachusetts, in the field of Information Security. I am an alumn of Carnegie Mellon in Pittsburgh, Pennsylvania, where I studied Discrete Mathematics and Logic, with minors in English and Computer Science.
My interests include Type Theory; Programming Languages; the Interstate Highway System and U.S. Highway System; Linguistics; Religion, especially Catholicism and Christianity; Economics; European History; and several other topics.
I use FreeBSD as my primary OS, and also use OpenSolaris and Linux, often for work. My laptop runs Mac OS X. I program in Haskell, Erlang, Objective Caml, Common Lisp, Scheme, and Prolog primarily, and occasionally C and Python.