Nowhere Near Serious
I'm a PhD candidate at UC Berkeley in the computer science department. My research focuses on multi-level languages and generalized arrows; this involves category theory, type theory, proof assistants, and compilers.
This semester (Spring 2012) I am co-instructor for CS 263, graduate-level types and semantics.
Email: my first name at my last name dot com.