Márk Széles

Contact

About

I am a PhD candidate at the Interdisciplinary Hub for Security, Privacy and Data Governance (iHub) at Radboud University Nijmegen under supervision of professor Bart Jacobs.

My main interests lie in the intersection of category theory and probability theory. This involves working with, for example, the theory of Markov categories and effectuses.

Publications

• Normalized Probabilistic Semantics is Not Associative
  Elena Di Lavore, Mario Román, Márk Széles
  accepted to POPL 2027
• Order in Partial Markov Categories
  Elena Di Lavore, Mario Román, Paweł Sobociński, Márk Széles
  in 41st Conference on Mathematical Foundations of Programming Semantics (MFPS 2025)
• Compositional Inference for Bayesian Networks and Causality
  Bart Jacobs, Márk Széles, Dario Stein
  in 41st Conference on Mathematical Foundations of Programming Semantics (MFPS 2025)
  
• Drawing and Recolouring
  Bart Jacobs, Márk Széles
  in 11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025)
• Combs, Causality, and Contractions in Atomic Markov Categories
  Dario Stein, Márk Széles
  in Electronic Proceedings in Theoretical Computer Science (ACT 2024)
  

Talks

• Markov effectuses and Riesz spaces (Slides)
  November, 2025, PUDDLE, Oxford University
• Order in partial Markov categories (Slides)
  June, 2025, MFPS 2025, Glasgow
• Compositional inference for Bayesian networks and causality (Slides)
  June, 2025, MFPS 2025, Glasgow
• Drawing and recolouring (Slides)
  June, 2025, CALCO 2025, Glasgow
• Compositional inference for Bayesian networks and causality (Slides)
  February, 2025, Computing with Markov Categories Workshop, Tallinn
• Categories of partial probabilistic computations (Slides)
  February, 2025, DutchCATS, Nijmegen
• String diagrams for probability (Slides)
  December 2024, Budapest type theory seminar
• Combs, causality, and contractions in atomic Markov categories (Slides)
  June 2024, ACT 2024, Oxford