Hi! Bonjour! Привет!
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).