Jean-Pierre Jouannaud
May 2008
Born (1947-05-21) 21 May 1947 (age 76)
AwardsCNRS Silver Medal 1986, Prix Michel Montpetit 2000
Scientific career
Theses
  • Filtres digitaux autoadaptifs: algorithmes de calcul et simulation  (1972)
  • Sur l'inférence et la synthèse automatiques de fonctions LISP à partir d'exemples  (1977)
Websitewww.lix.polytechnique.fr/Labo/Jean-Pierre.Jouannaud

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]: 724  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

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. ^ Jean-Louis Lassez; Gordon Plotkin, eds. (1991). Computational Logic — Essays in Honor of Alan Robinson. Cambridge/MA: MIT Press. ISBN 978-0-262-12156-9.
  4. ^ Vita