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 | ||
|
fr:research:projects [2018/03/29 17:17] apeiron |
— (Version actuelle) | ||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| - | Cette page regroupe mes projets de recherche en cours ou prévus dans un futur proche. | ||
| - | |||
| - | ====== Recherche en cours ====== | ||
| - | |||
| - | ===== Caractérisation fonctionnelle des algorithmes en temps polynomial ===== | ||
| - | |||
| - | Avec mon ancien directeur de thèse Pierre Valarcher, professeur à l'Université Paris-Est Créteil, nous avons travaillé sur la [[fr:research:ploopc|caractérisation impérative des algorithmes en temps polynomial]] c'est à dire sur la preuve que d'une part notre langage de programmation impératif PLoopC est bien en temps polynomial, et d'autre part que tout algorithme séquentiel peut être simulé par PLoopC. | ||
| - | |||
| - | ====== Projets de recherche ====== | ||