About me

Gender	Male
Industry	Consulting
Occupation	Defense Contractor
Location	Somerville, MA, United States
Interests	type theory, parallel programming, category theory, Haskell, sub-structural logic, pure type systems, lambda calculus, programming languages
Favorite music	Goth/Industrial, Alternative
Favorite books	Jonathan Strange and Mr. Norrell, Zen and the Art of Motorcycle Maintenance, Types and Programming Languages