Jean-Pierre Jouannaud (né le ) est professeur émérite de l'Université Paris XI. Il est un chercheur français en informatique, et a joué un rôle pionnier dans la théorie de la réécriture Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner, Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday, Springer, 2007 .

Biographie

Ouvrages

.

.

.

Références

Liens externes

Catégorie:Naissance en mai 1947 Catégorie:Élève de l'École polytechnique Catégorie:Informaticien français Catégorie:Personnalité en informatique théorique Catégorie:Logicien français Catégorie:Théorie des types Catégorie:Lauréat de la médaille d'argent du CNRS