Avec mon ancien directeur de thèse Pierre Valarcher, professeur à l'Université Paris-Est Créteil, nous avons travaillé sur la 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.