Dario Stein


My picture



Address

Room 375
Dept. of Computer Science
Wolfson Building
University of Oxford
Parks Road
Oxford OX1 3QD
United Kingdom

Email

dario.stein@cs.ox.ac.uk

About me

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.

Research Interests

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.

Publications

Talks

Teaching