Dept. of Computer Science
University of Oxford
Oxford OX1 3QD
Since October 2017 I've been a PhD student at the University of Oxford, working with Sam Staton. I am also a member of Balliol College. Previously, I obtained an MASt in Pure Mathematics at the University of Cambridge and a Bachelor in Mathematics from University of Hamburg. You can find my complete CV here.
My research interests are the semantics of programming languages, category theory, and probability theory, which come together in the field of probabilistic programming.
I'm furthermore very interested in quantum computation, Bayesian machine learning, algebraic effects and type theory. I have a pure-maths background in logic, topology and algebraic geometry.
- Probabilistic Programming Semantics for Name Generation
Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman. arXiv preprint
- The Beta-Bernoulli process and Algebraic Effects
Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy. ICALP 2018
- Oct 2020, "Higher-order Probabilistic Programming and Name Generation" 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