About me

I am a Researcher at the Interdisciplinary Hub for Security, Privacy and Data Governance (iHub) at Radboud University Nijmegen.

Here is a short overview of my CV

• DPhil in Computer Science with Sam Staton, University of Oxford, England 2021
• MASt in Pure Mathematics, Part III of the Mathematical Tripos at University of Cambridge, England 2017
• Bachelor in Mathematics, University of Hamburg, Germany

You can find my complete CV here.

Research Interests

My main research interests are

• Category Theory
• Probability Theory
• Programming Language Semantics

These fields come together in exciting ways in categorical probability theory and probabilistic programming. Some of the mathematical tools I use are Markov categories and quasi-Borel spaces.

Other areas I'm interested in: functional programming with effects, type theory, (Bayesian) machine learning, quantum computation, logic, topology and algebraic geometry.

Publications

You can find my DPhil Thesis here: Structural Foundations for Probabilistic Programming Languages

• Dilations and information flow axioms in categorical probability
  Tobias Fritz, Tomáš Gonda, Nicholas Gauguin Houghton-Larsen, Paolo Perrone, Dario Stein
• Counting and Matching
  Bart Jacobs, Dario Stein, CSL 2023
• Extending Gaussian Probability with Uninformative Priors
  Dario Stein, submitted to FOSSACS 23
• Probabilistic Programming with Exact Conditions
  Dario Stein, Sam Staton. submitted to Journal of the ACM
• Compositional Semantics for Probabilistic Programs with Exact Conditioning
  Dario Stein, Sam Staton. LICS 2021 Distinguished Paper
• Probabilistic Programming Semantics for Name Generation
  Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman. POPL 2021
  
• The Beta-Bernoulli process and Algebraic Effects
  Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy. ICALP 2018
  

Talks

UPCOMING
• Jan 2023, Inn'formal Probability Seminar, Universität Innsbruck

---

• Aug 2022, Introduction to Probabilistic Programming, SWS Seminar, Radboud University Nijmegen
• Jul 2022, "A Hypergraph Category for Exact Gaussian Inference", Applied Category Theory 22 (slides, video), Strathclyde
• Jul 2022, Tutorial on Probabilistic Programming, iHub, Radboud University Nijmegen
• Jul 2021, Mathematical Foundations Seminar, Bath
• Jul 2021, VeriProP 2021
• Jun 2021, LICS 2021
• Jan 2021, Oxford Quantum Group Workshop
• Jan 2021, POPL 2021 (View on Clowdr)
• Jan 2021, LAFI. Slides
• Oct 2020, ProbProg workshop, MIT/Online
• Feb 2020, PIHOC workshop, IRIF, Paris. Slides
• Jan 2020, LAFI workshop, POPL, New Orleans. Slides
• 2019, Junior Semantics Seminar x 2, Oxford
• Jul 2018, ICALP 2018, Prague.
• 2018, Quantum Lunch, Quantum Group, Oxford

Teaching

• Winter 2022-23, MFoCS Seminar at Radboud University Nijmegen
• Spring 2022, Tutor for Category Theory and Coalgebra at Radboud University Nijmegen
• Michaelmas 2020, Tutor for Categories, Proofs and Processes at University of Oxford
• Hilary 2020, Tutor for Quantum Information at University of Oxford
• Michaelmas 2019, Tutor for Principles of Programming Languages at University of Oxford.
• Hilary 2019, Tutor for Probability and Computing at University of Oxford.

Service

• PC for ProbProg'21, LAFI'23
• Reviewer for Compositionality, MSCS, FSCD, ProbProg'21 PC, LICS'22, MFCS 2022, Fossacs 2023, ESOP 2023