BOB Home - Étienne MIQUEY

photoI am currently a post-doc in the INRIA team Gallinette. Previously, I was a PhD student under the co-supervision of Hugo Herbelin (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.

Publications and drafts

Talks and slides

Classical realizability

Dependent choice and classical logic

Introduction to Curry-Howard


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)

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)

2011-2012 (Lycée du parc)

[+] Option informatique (MP/MP*)