Documents

Les documents ci-dessous sont sous licence Contrat Creative Commons.

Talks

2016 : Exposé au séminaire Pampers des jeunes chercheurs en géométrie : Le groupe fondamental du cercle en théorie des types homotopiques. (Fichier Coq)

2015 : Exposé au workshop HoTT à Varsovie (colocated with TLCA and RDA) (diaporama annoté)

2014 : Exposé aux RDHL (rencontres doctorales Henri Lebesgue) : Théorie des types homotopiques (diaporama)

Stages

2013 : Hypothèse du continu en théorie des types, sous la direction de Nicolas Tabareau, à l'École des Mines de Nantes. (rapport, diaporama)

2011 : Logique intuitionniste, sous la direction de Vítězslav Švejdar, à l'université Charles de Prague. (rapport, diaporama)

2010 : Algèbres de Poisson, sous la direction de Pol Vanhaecke à l'université de Poitiers. (rapport,diaporama)

Séminaires

2011 : Le théorème de Jordan, d'après Jordan, sous la direction de Antoine Chambert-Loir, avec Ophélie Rouby. (rapport)

2010 : Le théorème de Cramèr (grandes déviations), sous la direction de Mihai Gradinaru, avec Arnaud Girand et Ophélie Rouby. (rapport)

2010 : Méthode de Branch and Bound pour le problème du voyageur de commerce, avec Pierre Chatelain. (diaporama)

TIPE

2008 : La suite audioactive de Conway. (Bref résumé)

2009 : Le problème de l'ange. (wikipédia)

Agrégation

Un document rassemblant mes versions des développements suivants :

Mes couplages leçon/développements

Valid XHTML 1.0 Strict Valid CSS!