I am currently ATER (temporary teaching and research attaché) at the ÉNS de Lyon in the LIP lab.
Previously, I have occupied post-doc positions in the LSV lab (CNRS), supervised by Valentin Blot and in the INRIA team Gallinette with Guillaume Munch-Maccagnoni. Before that, I was a PhD student under the co-supervision of (in the IRIF laboratory, within the team πr²) and Alexandre Miquel (in the Mathematical Institute of the Faculty of Engineering of Montevideo).
I am mainly interested in the computational content of proofs, and especially in classical realizability. You will find below a list of documents in relation with my research work. As for the rest of this webpage content, which is in french, you can access it by clicking some of the links above.
You can contact me via:
Publications and drafts
(see HAL deposits for extended papers with appendices)Journal papers
Conference proceedings
Notes / In preparation
PhD. Thesis
- Classical realizability and side-effects
[HAL, pdf] Université Paris-Diderot & Universidad de la República, 2017.
Under the supervision of and .
More details and the companion Coq development are given here.
Selected talks
[+] Introductory talks
[+] Classical realizability
[+] Dependent choice and classical logic
[+] Type theory
[+] Classical call-by-need
Teaching
2016-2017 (Université Paris-Diderot)
[+] Élements d'algorithmique II (EA4)
- Tous les documents se trouvent sur le moodle de l'université.
2015-2016 (Université Paris-Diderot)
[+] Programation orientée objet et interfaces graphiques (POO3)
- la page du cours de Jean-Baptiste Yunés, Olivier Carton et Yann Régis-Gianas.
- TD1 : Conception de classes, énoncé
- TP1 : Conception de classes, énoncé
- TD2 : Domaines d'accès, associations de classes, encapsulation, énoncé
- TP2 : Domaines d'accès, associations de classes, encapsulation, énoncé
- TD3 : Héritage, énoncé
- TP3 : Héritage, énoncé
- TD4 : Héritage et interfaces, énoncé
- TP4 : Héritage et interfaces, énoncé
- TD5 : Un gros paquet d'erreurs, énoncé
- TP5 : Jouons, énoncé et fichiers
- TD6 : Un peu de classe astraite, énoncé
- TP6 : Quizz et plus, énoncé
- TD7 : , énoncé
- TP7 : , énoncé
- TD8 : I/O et Exceptions, énoncé
- TP8 : I/O et Exceptions, énoncé et fichiers
- TD9 : Types génériques et classes paramétrées, énoncé
- TP9 : Pattern observateur/observé, énoncé
- TD10 : Collections, énoncé
- TP10 : Collections, itérateurs, énoncé
- TD11 : Classes internes et pattern MVC, énoncé
- TP11 : Un mélangeur de couleurs, énoncé et fichiers
- TP11 : Révisions, énoncé
2014-2015 (Université Paris-Diderot)
[+] Introduction à la programmation (IP1)
- la page du cours de Yann Régis-Gianas.
[+] Analyse de données structurées (ADS4)
- la page du cours de Ralf Treinen
- TP1 : Sed et expressions régulières, énoncé et fichiers
- TP2 : Automates en Java, énoncé et fichiers
- TP3 : JFLEX (analyse lexicale), énoncé et fichiers
- TP4 : Analyse syntaxique en Java, énoncé et fichiers
- TD5 : Grammaires LL1, énoncé
- TP6 : Analyse lexicale et syntaxique
- TP7 : Fichiers XML et OpenStreetMap, énoncé et fichiers
- TP8 : Expressions arithmétiques, énoncé et fichiers
2011-2012 (Lycée du parc)
[+] Option informatique (MP/MP*)
- TP1 : Remise en forme - - énoncé et template, corrigé
- TP2 : Graphes - énoncé, corrigé
- TP3 : λ-calcul et compilation - énoncé, corrigé
- TP4 : Seamcarving - énoncé et template, corrigé
- TP5 : Cryptographie par RSA - énoncé et template, corrigé
- TP6 : Arithmétique des polynômes - énoncé
- TP7 : Arbres binaires - énoncé
- TP8 : Fractales - énoncé et template
- TP9 : Automates - énoncé
- Préparation aux oraux d'info fondamentale :