Hi! Bonjour! Привет!

My Head I am a PhD candidate in computer science at Carnegie Mellon University and a Debian Developer. My professional ambition is to do beautiful mathematics that are relevant to computer science. I am generally interested in the semantics of programming languages. My current work involves reasoning about session-typed languages using domain theory and category theory.

See my blog for my musings on computer science, mathematics, and languages—spoken or otherwise. A version of this site is also available over Gopher (HTTP proxy).