Adam Megacz

Serious
research, teaching,
software

Sort of Serious
my thoughts
other peoples' thoughts

Nowhere Near Serious
entertainment

.plan

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.

Links

ssh vnc

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

rendered from WIX