I am a PhD student at the University of Oxford, working with Sam Staton. I am interested in the theory of programming languages, especially those for **probabilistic programming** and **quantum computation**.

- Probabilistic programming is the idea to express complicated statistical models succinctly using a programming language, with special constructs for both sampling and (Bayesian) inference. For an introduction see [1]
- Probabilistic languages range from specialized ones to completely general-purpose languages, commonly trading flexibility for efficiency of inference. Compiler optimizations help make inference run more efficiently.

My recent focus is on probabilistic programming languages that support higher-order functions. Their denotational semantics steps outside the traditional measure-theoretic formalization of probability theory. To that end, I am now investigating the category-theoretic foundations of probability theory.

I have a pure-maths background in algebraic geometry and category theory. Wider interests of mine are programming with algebraic effects, type-theory, logic, topology, probability theory and machine learning.

- The Beta-Bernoulli process and algebraic effects, S. Staton, D. Stein, H. Yang, N. L. Ackerman, C. Freer, D. Roy. Proceedings of
*ICALP 2018*

- Room 375, Wolfson Building, Dept. of Computer Science, Oxford
- dario.stein(at)cs.ox.ac.uk