Jean-Pierre Jouannaud - Jean-Pierre Jouannaud

Jean-Pierre Jouannaud
Květen 2008
narozený	(1947-05-21) 21. května 1947 (věk 73) Aix-les-Bains
Ocenění	Stříbrná medaile CNRS 1986, Prix ​​Michel Montpetit 2000
Vědecká kariéra
Práce	Filtry digitaux autoadaptifs: Algoritmy výpočtu a simulace (1972) Sur l'inférence et la synthèse automatiques de fonctions LISP à partir d'exemples (1977)
webová stránka	www.lix.polytechnika.fr/ Labo/ Jean-Pierre.Jouannaud

Jean-Pierre Jouannaud je francouzský počítačový vědec známý svou prací v oblasti přepis termínu.

Narodil se 21. května 1947 v Aix-les-Bains (Francie). V letech 1967 až 1969 navštívil Ecole Polytechnique (Paříž). V roce 1970, 1972 a 1977 napsal diplomovou práci (DEA ), Disertační práce (Thèse de 3ème cycle),^[1] a habilitační práce (Thèse d'état ),^[2] respektive na Université de Paris VI.^[3]:724V roce 1979 se stal docentem na Nancy University; 1985 se změnil na Université de Paris-Sud, kde se v roce 1986 stal řádným profesorem.

Byl členem řídícího výboru několika mezinárodních konferencí o informatice: Mezinárodní konference o technikách a aplikacích přepisování (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 Federovaná logická konference (FLoC) 1995-1999. Od roku 1997 je členem EATCS rada.^[4]

Vybrané publikace

• Jean Pierre Jouannaud; Pierre Lescanne (září 1982). „V objednávkách s více sadami“ (PDF). Inf. Proces. Lett. 15 (2): 57–63. doi:10.1016/0020-0190(82)90107-7.
• J.P. Jouannaud; P. Lescanne; F. Reinig (1982). "Objednávání rekurzivního rozkladu". Proc. IFIP TC2 Working Conf. o formálním popisu programovacích konceptů, svazek II (PDF). Severní Holandsko. 331–348.
• Jouannaud, Jean-Pierre, ed. (1985). Techniky a aplikace přepisování, 1. int. Konf., RTA-85. LNCS. 202. Springer.
• A. Boudet; J.P. Jouannaud; M. Schmidt-Schauß (1989). "Sjednocení v booleovských prstenech a abelianských skupinách". Journal of Symbolic Computation. 8 (5): 449–477. doi:10.1016 / s0747-7171 (89) 80054-9.
• N. Dershowitz; J.-P. Jouannaud (1990). "Přepsat systémy". V Jan van Leeuwen (ed.). Formální modely a sémantika. Příručka teoretické informatiky. B. Elsevier. 243–320.
• N. Dershowitz; J.-P. Jouannaud (1990). Msgstr "Zápisy pro přepis". Citovat deník vyžaduje | deník = (Pomoc)
• N. Dershowitz a J.-P. Jouannaud a J.W. Klop (1991). Msgstr "Otevřít problémy s přepisováním". V knize Ronald V. (ed.). Techniky a aplikace přepisování, 4. int. Konf., RTA-91. LNCS. 488. Springer. 445–456.
• Hubert Comon; M. Haberstrau; J.-P. Jouannaud (1992). "Rozhodovatelné problémy v mělkých rovnicových teoriích (rozšířený abstrakt)". Sedmý ročník IEEE sympozia o logice v informatice. 255–265.
• N. Dershowitz; J.-P. Jouannaud; J.W. Klop (1993). Msgstr "Další problémy s přepisováním". V Kirchner, Claude (ed.). Techniky a aplikace přepisování, 5. Int. Konf., RTA-93. LNCS. 690. Springer. str. 468–487.
• Jouannaud, J.-P .; Rubio, A. (1996). "Rekurzivní objednávání cesty pro podmínky vyšších objednávek v eta-dlouhé beta-normální formě". v Harald Ganzinger (vyd.). Techniky a aplikace přepisování, 7. Int. Konf., RTA-96. LNCS. 1103. Springer. 108–122.
• Jouannaud, J.-P. (2005). „O dvacet let později“. V Giesl, J. (ed.). Přepisování termínů a aplikace, 16. Int. Konf., RTA-05. LNCS. 3467. Springer. str. 368–375. ISBN  978-3-540-25596-3.
• Jouannaud, J.-P. (2006). „Modular Church-Rosser Modulo“. v Frank Pfenning (vyd.). Přepisování termínů a aplikace, 17. Int. Konf., RTA-06. LNCS. 4098. Springer. 96–107.
• Jouannaud, J.-P .; Rubio, A. (2006). "Objednávky vyšších řádů pro normální přepisování". Frank Pfenning (ed.). Přepisování termínů a aplikace, 17. Int. Konf., RTA-06. LNCS. 4098. Springer. 387–399.

Reference

externí odkazy

• Domovská stránka ve společnosti Laboratoire d'Informatique (LIX), École Polytechnique, Palaiseau
• Jean-Pierre Jouannaud na DBLP Bibliografický server