Mario Román

Mario Román is a Research Associate at the Department of Computer Science, University of Oxford, affiliated with the Compositional Systems and Methods Group at Tallinn University of Technology. His work bridges category theory, functional programming, and probabilistic programming, focusing on formal semantics and mathematical notation.

His research interests include monoidal and premonoidal categories, Markov categories, and coinductive methods for dataflow programming. He explores the algebraic structures underlying quantum programming and stochastic processes, often applying graphical calculi and string diagrams.

Recent work trends, as seen in his publications, emphasize distributive monoidal categories for program logics, effectful Mealy machines for bisimulation, and partial Markov categories for probabilistic reasoning. His collaborations span institutions in Europe and Asia, including Tallinn, Oxford, and Tokyo.

Scientific Awards:

• Kleene Award, 'Monoidal Streams for Dataflow Programming', LiCS’22
• Distinguished Paper, 'Effectful Mealy Machines: Bisimulation and Trace', LiCS’25
• Best BSc Thesis, Spanish Royal Mathematical Society, 2018
• International Mathematical Olympiad Honorary Mention, 2012

Mario has contributed to community initiatives as a member of the Compositionality Journal Executive Board and served on program committees for Applied Category Theory and Mathematical Foundations of Programming Semantics.