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 Curry-Howard-Lambek isomorphism, parametric
polymorphism, and the foundations of mathematics.
While an undergraduate, I had the opportunity to do research at
several wonderful places:
Microsoft Research Cambridge,
Queen’s University’s School of Computing,
MIT CSAIL, and
ENS Lyon. I also spent a semester studying
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
Recent Blog Posts
I recently had to sign someone’s GPG key. I’ve long used the caff tool from the signing-party package to help me with this. Unfortunately, I’m using a new laptop and hadn’t yet configured caff on it. Moreover, caff uses the system MTA by default, normally found at /usr/sbin/sendmail, and I...
I had never before realised the immense usefulness of the Yoneda lemma. In the past few sections of Mac Lane’s and Moerdijk’s “Sheaves in Geometry and Logic”, it’s been used both as a proof tool and as a heuristic for finding the right definition of a functor (in this case,...
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...
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...
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...