Jean-Pierre Jouannaud Explained

Jean-Pierre Jouannaud
Birth Date:	21 May 1947
Birth Place:	Aix-les-Bains
Thesis1 Title:	Filtres digitaux autoadaptifs: algorithmes de calcul et simulation
Thesis1 Year:	1972
Thesis2 Title:	Sur l'inférence et la synthèse automatiques de fonctions LISP à partir d'exemples
Thesis2 Year:	1977
Awards:	CNRS Silver Medal 1986, Prix Michel Montpetit 2000
Spouses:	)-->
Partners:	)-->

Jean-Pierre Jouannaud is a French computer scientist, known for his work in the area of term rewriting.

He was born on 21 May 1947 in Aix-les-Bains (France).From 1967 to 1969 he visited the Ecole Polytechnique (Paris).In 1970, 1972, and 1977, he wrote his Master thesis (DEA), PhD thesis (Thèse de 3ème cycle),^[1] and Habilitation thesis (Thèse d'état),^[2] respectively, at the Université de Paris VI.^[3] In 1979, he became an associate professor at the Nancy University; 1985 he changed to the Université de Paris-Sud, where he became a full professor in 1986.

He was member of the steering committee of several international computer science conferences: International Conference on Rewriting Techniques and Applications (RTA) 1989–1994, IEEE Symposium on Logic in Computer Science (LICS) 1993–1997, Conference for Computer Science Logic (CSL) 1993–1997, International Conference on Principles and Practice of Constraint Programming (CP) since 1994, and Federated Logic Conference (FLoC) 1995–1999.Since 1997, he is member of the EATCS council.^[4]

Selected publications

• Jean Pierre Jouannaud . Pierre Lescanne . On Multiset Orderings . . 15 . 2 . 57–63 . Sep 1982 . 10.1016/0020-0190(82)90107-7.
• Book: J.P. Jouannaud . P. Lescanne . F. Reinig . Recursive Decomposition Ordering . Proc. IFIP TC2 Working Conf. on Formal Description of Programming Concepts, Vol.II . North-Holland . 331–348 . 1982 .
• Book: 1985 . Jouannaud, Jean-Pierre . Rewriting Techniques and Applications, 1st Int. Conf., RTA-85 . LNCS . 202 . Springer .
• A. Boudet . J.P. Jouannaud . M. Schmidt-Schauß . Unification in Boolean Rings and Abelian Groups . . 8 . 5 . 449–477 . 1989 . 10.1016/s0747-7171(89)80054-9. free .
• Book: N. Dershowitz . J.-P. Jouannaud . Rewrite Systems . 243–320 . Jan van Leeuwen . Formal Models and Semantics . Elsevier . Handbook of Theoretical Computer Science . B . 1990.
• N. Dershowitz . J.-P. Jouannaud . Notations for Rewriting . 1990 .
• Book: . Open Problems in Rewriting . 445–456 . 1991 . Book, Ronald V. . Rewriting Techniques and Applications, 4th Int. Conf., RTA-91 . LNCS . 488 . Springer .
• Book: Hubert Comon . M. Haberstrau . J.-P. Jouannaud . Seventh Annual IEEE Symposium on Logic in Computer Science . 255–265 . Decidable Problems in Shallow Equational Theories (Extended Abstract) . 1992 .
• Book: N. Dershowitz . J.-P. Jouannaud . J.W. Klop . More Problems in Rewriting . 468–487 . 1993 . Kirchner, Claude . Rewriting Techniques and Applications, 5th Int. Conf., RTA-93 . LNCS . 690 . Springer.
• Book: Jouannaud, J.-P. . Rubio, A. . A Recursive Path Ordering for Higher-Order Terms in eta-Long beta-Normal Form . 108–122 . 1996 . Harald Ganzinger . Harald Ganzinger . Rewriting Techniques and Applications, 7th Int. Conf., RTA-96 . LNCS . 1103 . Springer.
• Book: Jouannaud, J.-P. . Twenty Years Later . 368–375 . 2005 . Giesl, J. . Term Rewriting and Applications, 16th Int. Conf., RTA-05 . LNCS . 3467 . 978-3-540-25596-3 . Springer.
• Book: Jouannaud, J.-P. . Modular Church-Rosser Modulo . 96–107 . 2006 . Frank Pfenning . Frank Pfenning . Term Rewriting and Applications, 17th Int. Conf., RTA-06 . LNCS . 4098 . Springer.
• Book: Jouannaud, J.-P. . Rubio, A. . Higher-Order Orderings for Normal Rewriting . 387–399 . 2006 . Frank Pfenning . Term Rewriting and Applications, 17th Int. Conf., RTA-06 . LNCS . 4098 . Springer.

External links

• Home page at Laboratoire d'Informatique (LIX), École Polytechnique, Palaiseau

Notes and References

1. Filtres digitaux autoadaptifs: algorithmes de calcul et simulation — record at WorldCat
2. Sur l'inférence et la synthèse automatiques de fonctions LISP à partir d'exemples — record at WorldCat
3. Book: Jean-Louis Lassez . Gordon Plotkin . Gordon Plotkin . Computational Logic - Essays in Honor of Alan Robinson . MIT Press . Cambridge/MA . 978-0-262-12156-9 . 1991 . John Alan Robinson .
4. http://www.lix.polytechnique.fr/Labo/Jean-Pierre.Jouannaud/cv.html Vita