Jean-Pierre Jouannaud

Fonction
Professeur émérite (en); Université Paris-Sud
Naissance	21 mai 1947 ; Aix-les-Bains
Nationalité	française
Domicile	Paris
Formation	École polytechnique
Activité	Informaticien
A travaillé pour	Tsinghua University School of Sciences (d); Université Paris-Sud; École polytechnique
Maîtres	César Macchi (d), Jean-Claude Simon (d)
Distinctions	Médaille d'argent du CNRS (1987); Prix Michel-Monpetit (2000)

Jean-Pierre Jouannaud (né le 21 mai 1947) 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^[1].

Biographie

Ouvrages

(en) Jean-Pierre Jouannaud, Rewriting Techniques and Applications, Academic Press Inc, 1997, 220 p. (ISBN 978-0-123-90960-2).

(en) Kokichi Futatsugi, Jean-Pierre Jouannaud et Jose Meseguer, Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, Springer, 2006, 684 p. (ISBN 978-3-540-35462-8).

(en) Jean-Pierre Jouannaud, Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985, Springer, 2008, 424 p. (ISBN 978-3-540-15975-9).

Références

↑ (en) 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 (ISBN 3540731466)

Liens externes

Ressources relatives à la recherche :
Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- CiNii
- Belgique
- Pays-Bas
- Israël
- NUKAT
- Norvège
- Tchéquie

Portail de la logique
Portail de l'informatique théorique

[1] (en) 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 (ISBN 3540731466)

[1]