Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
|
fr:research:thesis-defense [2016/03/23 13:55] apeiron |
fr:research:thesis-defense [2018/02/16 01:25] 127.0.0.1 modification externe |
||
|---|---|---|---|
| Ligne 3: | Ligne 3: | ||
| **Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial** | **Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial** | ||
| - | Voici {{:manuscrit-these.pdf|le manuscrit}} de thèse. | + | Les rapporteurs ayant examiné mon manuscrit sont : |
| + | * Patrick Baillot, directeur de recherche au CNRS | ||
| + | * Gilles Dowek, directeur de recherche à INRIA | ||
| + | * Daniel Leivant, professeur à l'Indiana University Bloomington | ||
| + | |||
| + | Voici {{:manuscrit-these.pdf|la version finale}}. | ||
| ====== Résumé ====== | ====== Résumé ====== | ||
| Ligne 22: | Ligne 27: | ||
| ====== Soutenance ====== | ====== Soutenance ====== | ||
| - | J'ai soutenu ma thèse en informatique le vendredi 9 octobre 2015 à Créteil. | + | J'ai soutenu ma thèse en informatique le vendredi 9 octobre 2015 à Créteil. Voici {{ :undefined:soutenance.pdf | les slides}}. |
| Le jury était composé de : | Le jury était composé de : | ||