Adam Megacz Joseph

This page hasn't been updated since 2015.

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.

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