Academic
I am currently a PhD candidate at Universiteit Leiden, under the supervision of Tobias Kappé and Marcello Bonsangue. I am a member of the Theory Cluster of the Institute of Advanced Computer Science; however I would self-identify as a logician. My work is focused on algebra and coalgebra as tools for studying automaton theory and logic.
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 inspired by my friend Ralph Sarkis, who has a similar section on his website.
Coalgebra
Coalgebra is funny because it's like a math field that came about by way of "top hats imply the existence of bottom hats".