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 ====== | ||