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 include programming language semantics, category theory, and probability theory, which come together in the field of probabilistic programming.

I'm furthermore very interested in (Bayesian) machine learning, quantum computation, functional programming, algebraic effects and type theory. I have a pure-maths background in logic, topology and algebraic geometry.

Publications

Talks

Teaching

Reviews

  • Compositionality, MSCS