An overview of (most of) my work
- Verification of (probabilistic) functional programs
- Online seminar at PPS, April 9, 2020.
Types for probabilistic programs
- Probabilistic Termination by Monadic Affine Sized Typing
- Contributed talk at ESOP 2017, Uppsala, April 25, 2017.
Semantics and Verification - Introductory talks
- Introduction to higher-order verification II: modal mu-calculus, tree automata and parity games.
- Introductory talk at the Sémantique et Vérification working group of LIAFA and PPS, Université Paris Diderot, December 11th, 2014.
- Introduction to higher-order verification I: recursion schemes and terms
- Introductory talk at the Sémantique et Vérification working group of LIAFA and PPS, Université Paris Diderot, November 27th, 2014.
- Verification by typing
- Talk at the PhD student seminar of LIAFA and PPS, June 25th, 2014.
Semantics and Verification - Research talks
- Semantics of linear logic and higher-order model-checking
- Thesis defense, Paris, April 8, 2016.
- Relational semantics of linear logic and higher-order model-checking
- Contributed talk at the conference CSL, Berlin, September 8, 2015.
- Categorical semantics of linear logic and higher-order model-checking
- Seminar talk at Chocola, Lyon, April 9, 2015.
- Systèmes de preuve pour les logiques de "Bringing-it-About"
- Online seminar at JIAF, July 2, 2021.