Jean-Pierre Jouannaud is a French computer scientist, known for his work in the area of
term rewriting
In mathematics, computer science, and logic, rewriting covers a wide range of methods of replacing subterms of a formula with other terms. Such methods may be achieved by rewriting systems (also known as rewrite systems, rewrite engines, or reduc ...
.
He was born on 21 May 1947 in
Aix-les-Bains
Aix-les-Bains (, ; frp, Èx-los-Bens; la, Aquae Gratianae), locally simply Aix, is a commune in the southeastern French department of Savoie. (France).
From 1967 to 1969 he visited the
Ecole Polytechnique (Paris).
In 1970, 1972, and 1977, he wrote his Master thesis (
DEA
The Drug Enforcement Administration (DEA; ) is a United States federal law enforcement agency under the U.S. Department of Justice tasked with combating drug trafficking and distribution within the U.S. It is the lead agency for domestic en ...
),
PhD thesis
A thesis ( : theses), or dissertation (abbreviated diss.), is a document submitted in support of candidature for an academic degree or professional qualification presenting the author's research and findings.International Standard ISO 7144: ...
(Thèse de 3ème cycle), and Habilitation thesis (
Thèse d'état), 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
Paris-Sud University (French: ''Université Paris-Sud''), also known as University of Paris — XI (or as Université d'Orsay before 1971), was a French research university distributed among several campuses in the southern suburbs of Paris, in ...
, where he became a full professor in 1986.
He was member of the steering committee of several international computer science conferences:
(RTA) 1989-1994,
IEEE Symposium on Logic in Computer Science
The ACM–IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended versions of selected papers of each year's conference appear i ...
(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
The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as ...
council.
Vita
/ref>
Selected publications
*
*
*
*
*
*
*
*
*
*
*
*
*
References
External links
Home page
at Laboratoire d'Informatique (LIX), École Polytechnique
École may refer to:
* an elementary school in the French educational stages normally followed by secondary education establishments (collège and lycée)
* École (river), a tributary of the Seine flowing in région Île-de-France
* École, Savoi ...
, Palaiseau
*
{{DEFAULTSORT:Jouannaud, Jean-Pierre
French computer scientists
Rewriting systems
Theoretical computer scientists
1947 births
École Polytechnique alumni
Living people