Dario Stein
Address
Room 375
Dept. of Computer Science
Wolfson Building
University of Oxford
Parks Road
Oxford
OX1 3QD
United Kingdom
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 puremaths background in logic, topology and algebraic geometry.
Publications
 Probabilistic Programming Semantics for Name Generation
Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman. arXiv preprint
 The BetaBernoulli process and Algebraic Effects
Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy. ICALP 2018
Talks

UPCOMING
 Oct 2020, "Higherorder 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
Teaching
 Hilary 2020, Tutor for Quantum Information at University of Oxford
 Michaelmas 2019, Tutor for Principles of Programming Languages at University of Oxford.
 Hilary 2019, Tutor for Probability and Computing at University of Oxford.