Academic

I am currently working as a PhD candidate at Universiteit Leiden, under the supervision of Tobias Kappé. My work is largely a continuation of my master thesis, with some stronger categorical undertones.

Further Background

  • In 2024, I graduated from the Master of Logic at the University of Amsterdam. My thesis was supervised by Tobias KappĂ© and Yde Venema; you can read it here.
  • In 2021, I obtained my Bachelor's in maths and CS at McGill University. There I worked with Derek Ruths and Justin Ruths to publish this paper.

Research Interests

My research interests can be summed up: using mathematical structures in the study of computer programs. In practice that means category theory, logic, and (co)algebra are my tools, and various flavours of automata are my object of study.

For the Non-Mathematician

This section is (will be) inspired by my friend Ralph Sarkis, who has a similar section on his website. I haven't yet written it though; come back later :-)