Nowhere Near Serious
I recently completed my PhD in Computer Science at UC Berkeley. My research focused on multi-level languages and generalized arrows; this involves category theory, type theory, proof assistants, and compilers.
I recently (Spring 2012) was co-instructor for CS 263, graduate-level types and semantics.
Email: my first name at my last name dot com.