Matt Earnshaw
I am a PhD student (Nov. 2020-) in the Compositionality Group at Tallinn University of Technology under the supervision of Paweł Sobociński.
My research interests lie broadly in applications of category theory to computer science.
Publications
- Regular Planar Monoidal Languages, with Paweł Sobociński – Journal of Logical and Algebraic Methods in Programming, 2024 (bibtex)
- The Produoidal Algebra of Process Decomposition, with James Hefford and Mario Román – Proceedings of CSL 2024 (bibtex)
- String Diagrammatic Trace Theory, with Paweł Sobociński – Proceedings of MFCS 2023 (bibtex)
- Regular Monoidal Languages, with Paweł Sobociński – Proceedings of MFCS 2022 (bibtex)
Preprints and Extended Abstracts
- Context-Free Languages of String Diagrams, with Mario Román – 2024
- Presentations of Premonoidal Categories by Devices (extended abstract), with Chad Nester and Mario Román – 2023
- Polar Interleavings for Deadlock-Free Message-Passing (extended abstract), with Chad Nester and Mario Román – 2023
- Contouring Prostar Autonomous Categories (extended abstract), with James Hefford and Mario Román – 2023
Selected Talks
- From Monoidal Automata to String Diagrams for Effects – TSEM, March 2024, Tallinn.
- Context-Free Languages of String Diagrams – Estonian-Latvian Theory Days, February 2024, Randivälja.
- Presentations of Premonoidal Categories by Devices – NWPT '23 Västerås.
- Monoidal Languages – (i)po(m)set project seminar, October 2023, online.
- String Diagrammatic Trace Theory – MFCS '23 Bordeaux.
- Enrichment in Bicategories – Tribute to Bob Walters, July 2023, Tallinn.
- Natural Structure and the Dialectic of Concept Formation – Lawvere Memorial Meeting, March 2023, Tallinn.
- Produoidal Algebra of Process Decomposition – TallCat Seminar, February 2023, Tallinn.
- Regular Monoidal Languages – NWPT '22 Bergen, SYCO 9 Como, and MFCS '22 Vienna.
Teaching
- Spring 2024 – I am a lecturer/teaching assistant for Functional Programming.
- Spring 2023 – I was a lecturer/teaching assistant for Intro to Category Theory and its Applications.
- Spring 2022 – I was a lecturer/teaching assistant for Functional Programming.
- Spring 2021 – I was a teaching assistant for Intro to Category Theory and its Applications.
Other
- Warlpiri kinship from a neo-Riemannian point of view, with Thomas Holder – Séminaire MaMuPhi @ IRCAM, Paris, November 2023.
- Myth, Math & Marriage: A Primer in Mathematical Anthropology, with Thomas Holder – PAF Summer University, Hauts-de-France, August 2022.
- Miscellaneous scanned papers
Background
- 2016–2020 — I was senior software developer in the Silver Lab, Department of Neuroscience, University College London.
- 2015 — I obtained a Masters degree in Physics from Imperial College London.
Tallinn University of Technology, Cybernetics Building, Akadeemia tee 21/1, 12618 Tallinn, Estonia