Jean-Pierre Jouannaud

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

He was born May 21, 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. 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.^[3]

Selected publications

• Jean Pierre Jouannaud and Pierre Lescanne (Sep 1982). "On Multiset Orderings" (PDF). Info. Proc. Lett 15 (2): 57–63. doi:10.1016/0020-0190(82)90107-7. 

• J.P. Jouannaud and P. Lescanne and F. Reinig (1982). "Recursive Decomposition Ordering". Proc. IFIP TC2 Working Conf. on Formal Description of Programming Concepts, Vol.II (PDF). North-Holland. pp. 331–348. 

• Jouannaud, Jean-Pierre, ed. (1985). Rewriting Techniques and Applications, 1st Int. Conf., RTA-85. LNCS 202. Springer. 

• A. Boudet and J.P. Jouannaud and M. Schmidt-Schauß (1989). "Unification in Boolean Rings and Abelian Groups" (PDF). Journal of Symbolic Computation 8: 449–477. doi:10.1016/s0747-7171(89)80054-9. 

• N. Dershowitz and J.-P. Jouannaud (1990). "Rewrite Systems". In Jan van Leeuwen. Formal Models and Semantics. Handbook of Theoretical Computer Science B. Elsevier. pp. 243–320. 

• N. Dershowitz and J.-P. Jouannaud (1990). "Notations for Rewriting". 

• N. Dershowitz and J.-P. Jouannaud and J.W. Klop (1991). "Open Problems in Rewriting". In Book, Ronald V. Rewriting Techniques and Applications, 4th Int. Conf., RTA-91. LNCS 488. Springer. pp. 445–456. 

• Hubert Comon and M. Haberstrau and J.-P. Jouannaud (1992). "Decidable Problems in Shallow Equational Theories (Extended Abstract)". Seventh Annual IEEE Symposium on Logic in Computer Science. pp. 255–265. 

• N. Dershowitz and J.-P. Jouannaud and J.W. Klop (1993). "More Problems in Rewriting". In Kirchner, Claude. Rewriting Techniques and Applications, 5th Int. Conf., RTA-93. LNCS 690. Springer. pp. 468–487. 

• Jouannaud, J.-P. and Rubio, A. (1996). "A Recursive Path Ordering for Higher-Order Terms in eta-Long beta-Normal Form". In Harald Ganzinger. Rewriting Techniques and Applications, 7th Int. Conf., RTA-96. LNCS 1103. Springer. pp. 108–122. 

• Jouannaud, J.-P. (2005). "Twenty Years Later". In Giesl, J. Term Rewriting and Applications, 16th Int. Conf., RTA-05. LNCS 3467. Springer. pp. 368–375. ISBN 978-3-540-25596-3. 

• Jouannaud, J.-P. (2006). "Modular Church-Rosser Modulo". In Frank Pfenning. Term Rewriting and Applications, 17th Int. Conf., RTA-06. LNCS 4098. Springer. pp. 96–107. 

• Jouannaud, J.-P. and Rubio, A. (2006). "Higher-Order Orderings for Normal Rewriting". In Frank Pfenning. Term Rewriting and Applications, 17th Int. Conf., RTA-06. LNCS 4098. Springer. pp. 387–399. 

References

External links

• Home page at Laboratoire d'Informatique (LIX), École Polytechnique, Palaiseau
• Publications at DBLP
• Jean-Pierre.Jouannaud at the Mathematics Genealogy Project