Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision Les deux révisions suivantes
fr:research:thesis-defense [2018/02/16 01:25]
127.0.0.1 modification externe 		fr:research:thesis-defense [2018/03/29 15:31]
apeiron
Ligne 1: Ligne 1:
-====== Le manuscrit ====== 
- 
-**Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial** 
- 
-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 24: Ligne 13:
  
 **Mots-clés** : Algorithme séquentiel,​ ASM, calculabilité,​ complexité implicite, langage impératif, simulation, temps récursif primitif, temps polynomial. **Mots-clés** : Algorithme séquentiel,​ ASM, calculabilité,​ complexité implicite, langage impératif, simulation, temps récursif primitif, temps polynomial.
 +
 +====== Manuscrit ======
 +
 +**Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial**
 +
 +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}}.
  
 ====== Soutenance ====== ====== Soutenance ======
Ligne 37: Ligne 37:
  
 Ma soutenance a été filmée((Un grand merci à Marie Le Cun !)), voici [[https://​www.youtube.com/​watch?​v=Nx7ZDE7vV-c|la vidéo]] postée sur ma chaîne. Ma soutenance a été filmée((Un grand merci à Marie Le Cun !)), voici [[https://​www.youtube.com/​watch?​v=Nx7ZDE7vV-c|la vidéo]] postée sur ma chaîne.
 +
 +====== Publications ======