Mario Román

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.
• Preprints.
• Talks
• Posts.
• ArXiv, GitHub, Résumé, CV.
• mromang08@gmail.com

• 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).

• 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).

• 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.

• 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.