About me

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.

Research Interests

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.

Publications

• ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs
  Mathieu Huot^*, Alexander K. Lew^*, Sam Staton, Vikash K. Mansinghka. LICS 2023.
  Distinguished paper award.
• ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs
  Alexander K. Lew^*, Mathieu Huot^*, Sam Staton, Vikash K. Mansinghka. POPL 2023.
  Distinguished paper award.
• Functional Collection Programming with Semi-Ring Dictionaries
  Amir Shaikhha, Mathieu Huot, Jaclyn Smith, Dan Olteanu. OOPSLA 2022.
• Higher Order Automatic Differentiation of Higher Order Functions
  Matthijs Vákár, Sam Staton, and Mathieu Huot. LMCS 2021.
• Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing
  Mathieu Huot, Sam Staton, and Matthijs Vákár. FoSSaCS 2020.
  Nominated for EATCS and EAPLS best paper awards.
• Quantum Channels as a Categorical Completion
  Mathieu Huot, Sam Staton. LICS 2019.
• Universal Properties in Quantum Theory
  Mathieu Huot, Sam Staton. QPL 2018.

Preprints

• ∇SD: Differentiable Programming for Sparse Tensors
  Amir Shaikhha, Mathieu Huot, Shideh Hashemian. 2023.
• What do posterior distributions of probabilistic programs look like?
  Mathieu Huot, Alexander Lew, Vikash Mansinghka, Sam Staton. LAFI 2023. slides.
• Compiling Structured Tensor Algebra
  Mahdi Ghorbani, Mathieu Huot, Shideh Hashemian, Amir Shaikhha. 2022.
• Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages
  Alexander K. Lew, Mathieu Huot, Vikash K. Mansinghka. LAFI 2022. slides. talk.
• Denotationally Correct, Purely Functional, Efficient Reverse-mode Automatic Differentiation
  Mathieu Huot, Amir Shaikhha. 2021.
• Efficient and Sound Differentiable Programming in a Functional Array-Processing Language
  Amir Shaikhha, Mathieu Huot, Shabnam Ghasemirad, Andrew Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis. 2021.

Theses and Reports

• 1st year DPhil Transfer report.
  Department of Computer Science, Oxford, March 2020
• Rapport projet ARPE. slides
  ENS Paris-Saclay, Département d'informatique, September 2018
  
• Extensions conservatives de la sémantique de Montague.   Master thesis. slides
  ENS Paris-Saclay, Département d'informatique, September 2017
  
• Operads with algebraic structure.   Master thesis. slides
  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. slides
  ENS Paris-Saclay, Département d'informatique, September 2015

Talks

• 13/06/2023, Edinburgh.
• 08/06/2023, Birmingham.
• 06/06/2023, Bath.
• 06/01/2023, PPS, Paris. slides.
• 28/11/2022 New Challenges in Programming Language Semantics, Lorentz Center, Leiden, NL. slides.
• 30/03/2020, Fossacs, ETAPS, Online.
• 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

Teaching

• In Hilary 2021, Principles of Programming Languages, tutorials in Oxford.
• In Hilary 2021, Machine Learning tutorials in Oxford.
• In Hilary 2021, Digital Systems tutorials in Oxford.
• In Trinity 2020, Concurrency tutorials in Oxford.
• In Hilary 2020, Digital systems tutorials in Oxford.
• In Michaelmas 2020, Models of computation tutorials in Oxford.
• In Michealmas 2020, Machine learning tutorials in Oxford.
• In Michaelmas 2019, Principles of Programming Languages in Oxford.
• In Hilary 2019, Lambda Calculus and Types in Oxford.

Posters

• Poster projet ARPE
  ENS Paris-Saclay, Département d'informatique, September 2018.