Hi! Bonjour! Привет!
I am an “all but dissertation” 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. Concretely, my goal is to develop tools and techniques that help practitioners correctly specify, implement, and reason about concurrent and communicating systems. 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).