- Email: tws5[at]stmarys-ca.edu
- Office: Room 103 of Galileo Hall
I am an Assistant Professor in the Mathematics and Computer Science Department of St. Mary's College of California. My passions are STEM education, the foundations of programming language theory, and youth outreach in math/computer science.
I completed my PhD in 2023 as a part of the PPLV group in the Computer Science Department of University College London. I had the privilege of being supervised by Alexandra Silva and Jurriaan Rot. The subject of my thesis, Coalgebraic Completeness Theorems for Effectful Process Algebras, was a generalization of the completeness theorem for Guarded Kleene Algebra with Tests (GKAT), presented by Smolka et al. in 2019, to any process algebra consisting of action sequencing, an algebraic effect, and basic recursion.
I am generally intereted in the algebraic, coalgebraic, and logical foundations of program semantics. My research aims to apply the theory of iteration, monad presentations, and logics for coinductive relations to process algebra. Nonstandard approaches to program semantics are also highly entertaining to me (I think a lot about fractals and making music with transition systems).
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.
Outside of theoretical computer science, I make electronic music, think about rescue dogs, and do a bit of climbing.
|My thesis corrections were finally approved and my thesis is now somewhere in the UCL database! If you find it, please let me know, because I haven't been able to. I put a copy of it here instead.
|A project submitted to SRiM at the Simons Laufer Mathematical Sciences Institute along with Corina Cirstea, Larry Moss, Victoria Noquez, Alexandra Silva, and Ana Sokolova was accepted! Looks like I'll be hanging around Berkeley, CA in July.
|I gave a talk on transition systems, generative music, and fractals at the Saint Mary's College of California Math Colloquium.
|I was invited to give a talk at the Boston Computation Club! It was a tutorial on coequations based on my paper with Fred Dahlqvist.
|My assistant professor position at St Mary's College began.
|At CALCO, Victoria Noquez presented our framework for interpreting certain process terms as recipes for fractal sets. Based on the paper Fractals from Regular Behaviours, authored by myself, Victoria Noquez, and Larry Moss. Actually, we won Best Paper at CALCO!
|My PhD viva took place. I passed!
|I presented a completeness theorem for Skip-free Guarded Kleene Algebra with Tests at ESOP, based on the paper by Tobias Kappé, myself, and Alexandra Silva.
|Taught a class on Sonic Pi as part of the youth outreach event Expanding Your Horizons.
|I was an invited speaker in the Cornell University Programming Languages Discussion Group (PLDG).
|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).
|I visited Larry Moss and Victoria Noquez at Indiana University Bloomington. I was also an invited speaker in the IU Bloomington Logic Seminar, where I talked about my recipes for process calculi.
|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!
|Had a blast presenting some monads on Pos at BLAST 2022.
|Presented the processes parametrised by framework at ICALP 2022.
|Research visit from Wojtek Rozowski.
|Research visit from Jana Wagemaker. Started thinking about how to add hypotheses to GKAT.
|Internship at Cornell University begins.
|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.
|Appointment at Radboud University ended. Unofficially borrowed an office at LSU, in Baton Rouge, Louisiana.
|Became a guest researcher in the Software Sciences group at Radboud University, in Nijmegen, the Netherlands.
|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!).
|Presented at ICALP 2021.
|Started my PhD studies with the PPLV group at UCL, in London, UK.