I am currently a PhD student at
Tallinn University of Technology under the supervision of
Paweł Sobociński; my main interests are
category theory,
functional programming, foundations for
probabilistic programming, and formal languages and mathematical notation in general.
# Publications
Collages of String Diagrams (arXiv).
Joint with Dylan Braithwaite.
Applied Category Theory (ACT 2023).Evidential Decision Theory via Partial Markov Categories (pdf,slides).
Joint with Elena Di Lavore.
IEEE Symposium on Logic in Computer Science (LiCS, 2023).Optics for Premonoidal Categories (arXiv).
Joint with James Hefford.
Applied Category Theory (ACT 2023).Monoidal Streams for Dataflow Programming (pdf,slides).
Joint with Elena Di Lavore and Giovanni de Felice.
IEEE Symposium on Logic in Computer Science (LiCS, 2022), Distinguished, Kleene Award.Span(Graph): a Canonical Feedback Algebra of Open Transition Systems (pdf).
Joint with Elena Di Lavore, Alessandro Gianola, Nicoletta Sabadini and Paweł Sobociński.
Software and Systems Modeling (SOSYM, 2022).A Canonical Algebra of Open Transition Systems (pdf).
Joint with Elena Di Lavore, Alessandro Gianola, Nicoletta Sabadini and Paweł Sobociński.
Formal Aspects of Component Software (FACS, 2021).Promonads and String Diagrams for Effectful Categories (pdf).
Mario Román.
Applied Category Theory (ACT, 2022).Open Diagrams via Coend Calculus (pdf)
Mario Román.
Applied Category Theory (ACT, 2021).Cornering Optics (pdf)
Joint with Chad Nester and Guillaume Boisseau.
Applied Category Theory (ACT, 2022).Profunctor Optics: a Categorical Update (pdf)
Joint with Clarke, Elkins, Gibbons, Loregian, Milewski and Pillmore.
Compositionality (to be published).Mikrokosmos: an Educational Lambda Interpreter (pdf)
Under the supervision of Pedro García-Sánchez.
Journal of Open Source Education (JOSE, 2018).
# Preprints
- Thesis: Monoidal Context Theory (pdf).
- Be Careful with Duoidal Coherence (pdf).
- Contouring Prostar Autonomous Categories (pdf), with Matt Earnshaw and James Hefford.
- The Produoidal Algebra of Process Decomposition (pdf, slides 1, slides 2), with Matt Earnshaw and James Hefford.
- Coinductive Streams in Monoidal Categories, with Elena Di Lavore and Giovanni de Felice (arXiv).
- String Diagrams for Premonoidal Categories (arXiv).
- Comb Diagrams for Discrete-Time Feedback (pdf).
- Timing monoidal lax categories (pdf).
# Talks
- Collages of String Diagrams, at ACT'23, Maryland.
- Timing Processes, at the Bob Walters Tribute 2023, Tallinn.
- Optics: the Algebra of Monoidal Context, at MFPS'23, Bloomington, Indiana.
- The Produoidal Algebra of Process Decomposition, at the Ottawa Logic Seminar.
- From theories to categories at the Lawvere Memorial Meeting, Tallinn.
- String diagrams of string diagrams at TallCat group meetings, Tallinn.
- Evidential Decision Theory via Partial Markov Categories at NWPT'22, Bergen.
- Premonoidal Streams, at the Intercats Seminar of the Topos Institute.
- Monoidal Streams for Dataflow Programming, at LiCS'22.
- Monoidal Streams for Dataflow Programming, at NWPT'21, Reykjavik.
- Notes on A Graphical View at TallCat Seminar, Tallinn.
- Promonads and String Diagrams for Effectful Categories at ACT'22, Strathclyde
- Notes on Compositional Markov Processes at the ACT'22 Adjoint School, Strathclyde.
- Monoidal Profunctors at Compositional Methods Retreat, Raudsilla.
- A Canonical Algebra of Transition Systems at ACT'21, Cambridge.
- A Canonical Algebra of Transition Systems at FACS'21, Grenoble.
- Picturing Multivariable Adjunctions at TallCat Seminar, Tallinn.
- Lesson on Monoidal Categories at the Category Theory course, Tallinn.
- Open Diagrams via Coend Calculus at ACT'20, MIT.
- Profunctor Optics: a Categorical Update at ACT'20, MIT.
- Profunctor Optics: a Categorical Update at NWPT'19, Tallinn.
- Profunctor Optics: a Categorical Update at SYCO 5, Birmingham.
- Profunctor Optics: a Categorical Update at MFoCS Dissertation, Oxford.
# Activities
- Compositionality, Executive Board.
- Applied Category Theory Conference, Program Committee (ACT22, ACT23).
Reviewing.
- Logical Methods in Computer Science, reviewer.
- ACM/IEEE Symposium on Logic in Computer Science, reviewer (LiCS'20, LiCS'22, LiCS'23).
- Compositionality, reviewer.
- Applied Category Theory Conference, reviewer (ACT20, ACT21, ACT22, ACT23).
- Symposium on Compositional Structures, reviewer (SYCO6, SYCO7, SYCO8, SYCO9).
- International Conf. on Principles of Knowledge Representation and Reasoning, reviewer (KR2023).
- International Conf. on Curr. Trends in Th. and Pract. of Comp. Sci., reviewer (SOFSEM2023).
Teaching.
- TA for the Applied Category Theory Adjoint School, Glasgow, under Nicoletta Sabadini, 2022.
- TA for Category Theory, Tallinn University of Technology, under Pawel Sobocinski, 2020.
- TA for Functional Programming, Tallinn University of Technology, under Edward Morehouse, 2020.
Distinctions.
- Kleene Award at LiCS'22, joint with Elena Di Lavore and Giovanni de Felice.
Talks and presentations.
- Logic in Computer Science (LiCS'22).
- Applied Category Theory (ACT20,ACT21,ACT22).
- Formal Aspects of Component Software (FACS'21).
- Nordic Workshop on Programming Theory (NWPT'19, NWPT'21, NWPT'22).
- Mathematical Foundations of Programming Semantics (MFPS'23), special session, “Categories of Bidirectional Processes”.
- Finding the Right Abstractions Workshop (FRA2, FRA3).
- Symposium on Compositional Structures (SYCO6, SYCO7, SYCO9).
- Ottawa Logic Seminar, invited talk.
- Intercats Topos Institute Seminar, invited talk.
- Bath Mathematical Foundations Seminar, invited talk.