- Email: todd.schmid.19[at]ucl.ac.uk
- Office: Room 335 of Bill & Melinda Gates Hall
Hi! I am currently finishing up my PhD with the PPLV group at the Computer Science Department of University College London under the supervision of Alexandra Silva and Jurriaan Rot. In August, I will be an Assistant Professor in the Computer Science Department of St. Mary's College of California!
My research deals with variants of Kleene algebra and their coalgebraic completeness theorems. In more words: I try to prove completeness theorems for axiomatizations of coinductive relations on effectful process algebras, particularly those obtained as (bi)similarity in some category of coalgebras. I am also just interested in the interaction of algebra and coalgebra in the sciences more generally. 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.
|04/2023||Our submission to ESOP 2023 got accepted, so it looks like yet again I will be eating pastries and talking about completeness theorems in Paris!|
|02/2023||I was an invited speaker in the Cornell University Programming Languages Discussion Group (PLDG).|
|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.|