Dept. of Computer Science
University of Oxford
Oxford OX1 3QD
Since October 2018 I've been a PhD student at the University of Oxford, working with Sam Staton. I am also a member of St Cross College. Previously, I obtained a Master in Computer Science from ENS Paris-Saclay and a Licence in Mathematics and Computer Science. You can find my complete CV here.
My research interests are mainly semantics of programming languages, category theory, quantum computing and quantum information theory, automatic differentiation.
I'm also very much interested in probabilistic programming, domain specific functional languages, computational effects, logical relations, universal algebra, variational inference and non-parametric learning.
- Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing
Mathieu Huot, Sam Staton, and Matthijs Vákár. FoSSaCS 2020.
- Quantum Channels as a Categorical Completion
Mathieu Huot, Sam Staton. LICS 2019.
- Universal Properties in Quantum Theory
Mathieu Huot, Sam Staton. QPL 2018.
Theses and Reports
- 1st year DPhil Transfer report.
Department of Computer Science, Oxford, March 2020
- Rapport projet ARPE.
ENS Paris-Saclay, Département d'informatique, September 2018
- Extensions conservatives de la sémantique de Montague. Master thesis.
ENS Paris-Saclay, Département d'informatique, September 2017
- Operads with algebraic structure. Master thesis.
ENS Paris-Saclay, Département d'informatique, September 2016
- Application de méthodes d'algèbre effective pour l'étude d'automates temporisés. Bachelor thesis.
ENS Paris-Saclay, Département d'informatique, September 2015
- 27/02/2020, PIHOC workshop, IRIF, Paris. slides
- 19/09/2019, Junior Semantics Seminar, Oxford
- 25/06/2019, LICS, Vancouver. slides
- 30/04/2019, Loria, Nancy
- 24/01/2019, Junior Semantics Seminar, Oxford
- 17/12/2018, SYCO 2, Strathclyde University, Glasgow. slides
- 03/06/2018, Quantum Physics and Logic, Dalhousie University, Halifax. slides
- 30/01/2018, Quantum Lunch, organised by the Quantum Group, Oxford
- In Michaelmas 2019 I taught Principles of Programming Languages at Oxford University.
- In Hilary 2019 I taught Lambda Calculus and Types at Oxford University.
- Poster projet ARPE
ENS Paris-Saclay, Département d'informatique, September 2018.