Contact Information
- Email: todd.schmid.19[at]ucl.ac.uk
- Office: Room 335 of Bill & Melinda Gates Hall
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. |