Hi! Bonjour! Привет!
I’m 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’m generally interested in the semantics of programming languages, the CurryHowardLambek isomorphism, parametric polymorphism, and the foundations of mathematics.
While an undergraduate, I had the opportunity to do research at several wonderful places: McGill University, Microsoft Research Cambridge, Queen’s University’s School of Computing, MIT CSAIL, and ENS Lyon. I also spent a semester studying at the Independent University of Moscow in their “Math in Moscow” programme. A copy of my CV is available here.
See my blog for my musings on computer science, mathematics, and languages—spoken or otherwise.
Recent Blog Posts

On terminal objects and colimits
I’m currently working through Mac Lane’s and Moerdijk’s “Sheaves in Geometry and Logic”, and came upon the following two sentences in a proof (p. 43): Note that when is representable the corresponding category of elements has a terminal object—the element of . Therefore the colimit of the composite will just... 
Brouwer: Unreliability of the Logical Principles
This is the second post in my series of reading summaries. See the first one for more information on the series. Mark van Atten, Göran Sundholm. “L.E.J. Brouwer’s ‘Unreliability of the logical principles’. A new translation, with an introduction”. November, 2015. arXiv:1511.01113v1 [math.HO]. The intro provides historical context for the... 
Kushner: Markov's Constructive Mathematical Analysis
I’ve recently gotten into the habit of condensings readings I do in the course of research down to a single page in a 9cm x 14cm notebook. I’ve decided to share these summaries and notes here, as a backup in case I loose my notebook. I’m transcribing them here exactly... 
Blog Cleanup and Kubuntu Gutsy Gibbon Markups
I’ve been cleaning up my website and blog after having neglected it for several years. I briefly considered switching from Jekyll to Hakyll (you may recall that I switched from Wordpress to Jekyll in 2010) due to the annoying Ruby dependency. But I discovered that installing Hakyll would result in... 
Setting up fulldisk encryption in OpenBSD 5.3
I recently decided to try out a snapshot of OpenBSD 5.3, intrigued by the notice that softraid(4) RAID1 and crypto volumes are now bootable on i386 and amd64 (full disk encryption). I’ve always used an encrypted LVM (as setup by the alternate CD) with a fully encrypted root on my...
subscribe via RSS