Adam Megacz

Serious
research, teaching,
software

Sort of Serious
my thoughts
other peoples' thoughts

Nowhere Near Serious
entertainment

.plan

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.

Links

ssh vnc

Email: my first name at my last name dot com.