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
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
- Feb 2023, CSL 2023, University of Warsaw
- 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
Service
- PC for ProbProg'21, LAFI'23
- Reviewer for Compositionality, MSCS, FSCD, ProbProg'21 PC, LICS'22, MFCS 2022, Fossacs 2023, ESOP 2023