Adam Megacz
Serious
Sort of Serious
Nowhere Near Serious
.planI 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. LinksEmail: my first name at my last name dot com.
|