# 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