Jean-Pierre Jouannaud
| Jean-Pierre Jouannaud | |
|---|---|
 May 2008 | |
| Born |
May 21, 1947 Aix-les-Bains |
| Residence | Paris |
| Theses |
|
| Notable awards | CNRS Silver Medal 1986, Prix Michel Montpetit 2000 |
|
Website www | |
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; 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; P. Lescanne; 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; J.P. Jouannaud; 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; 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; 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; M. Haberstrau; 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; J.-P. Jouannaud; 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.; 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.; 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
- Jean-Pierre Jouannaud at DBLP Bibliography Server