Contact Information

About

Hi! I am a PhD student in the PPLV group at the Computer Science Department of University College London, supervised by Alexandra Silva and Jurriaan Rot. I am currently on the job market for the 2023/2024 school year! My mathematical interests are bisimulation variants of Kleene algebra and their coalgebraic completeness theorems, but I am also just interested in the interaction of algebra and coalgebra in the sciences more generally. My research requires a lot of input from algebra, topology, logic, and category theory, and I absolutely love it. If we happen share interests, please write! I'm always happy to make a new pen pal.

Below is a picture of me in a Frodo costume at 11 years old.

Aside from math, I like bread, dogs, making ambient music, and bouldering. I also keep a very shameful collection of internet rabbit holes and strange websites, and I occasionally host weird movie nights.

Rough Timeline

11/2022 I was an invited speaker in the Boston University POPV seminar. While I was there, I got to talk shop with Cheng Zhang and Arthur Azevedo de Amorim about commutative Kleene algebra (wow that stuff is hard).
11/2022 I visited Larry Moss and Tori Noquez at Indiana University Bloomington. We successfully showed that the equational theory of Hutchinson fractals is trace equivalence! Paper forthcoming. I was also an invited speaker in the IU Bloomington Logic Seminar, where I talked about my recipes for process calculi.
08/2022 Research visit from Tobias Kappé. Took an honest crack at proving completeness of GKAT, and we got as far as completeness for skip-free GKAT!
08/2022 Had a blast presenting some monads on Pos at BLAST 2022.
07/2022 Presented the processes parametrised by framework at ICALP 2022.
05/2022 Research visit from Wojtek Rozowski.
04/2022 Research visit from Jana Wagemaker. Started thinking about how to add hypotheses to GKAT.
04/2022 Internship at Cornell University begins.
02/2022 Day trip to Rice University, in Houston, Texas, to visit Konstaninos Mamouras. Ate authentic Texas BBQ and gave a lecture on the free algebra construction.
02/2022 Appointment at Radboud University ended. Unofficially borrowed an office at LSU, in Baton Rouge, Louisiana.
09/2021 Became a guest researcher in the Software Sciences group at Radboud University, in Nijmegen, the Netherlands.
08/2021 Presented at MFPS 2021 and then promptly slept in for Fred Dahlqvist's presentation of our Pearl submission at CALCO 2021 (In my defense, it was very early in the morning because I was on the other side of the world!).
07/2021 Presented at ICALP 2021.
09/2019 Started my PhD studies with the PPLV group at UCL, in London, UK.