- Email: todd.schmid.19[at]ucl.ac.uk
- Office: Room 335 of Bill & Melinda Gates Hall
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. My main 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.
|08/2022||Research visit from Tobias Kappé. Took an honest crack at proving completeness of 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.|