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).
I am on the academic job market
I am on the academic job market and looking for assistant professor or postdoc positions in computer science. Please do not hesitate to contact me if you are hiring at this level or know of someone who is! Here are my application materials: