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.