Jean-Pierre Jouannaud

Jean-Pierre Jouannaud
maj 2008
Född	( 1947-05-21 ) 21 maj 1947 Aix-les-Bains
Utmärkelser	CNRS Silvermedalj 1986, Prix Michel Montpetit 2000
Vetenskaplig karriär
Avhandlingar	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)
Hemsida	www .lix .polytechnique .fr /Labo /Jean-Pierre .Jouannaud

Jean-Pierre Jouannaud är en fransk datavetare, känd för sitt arbete inom området omskrivning av termer .

Han föddes den 21 maj 1947 i Aix-les-Bains (Frankrike). Från 1967 till 1969 besökte han Ecole Polytechnique (Paris). År 1970, 1972 och 1977 skrev han sin magisteruppsats ( DEA ), doktorsavhandling (Thèse de 3ème cycle) respektive habiliteringsuppsats ( Thèse d'état ) vid Université de Paris VI . 1979 blev han docent vid Nancy University ; 1985 bytte han till Université de Paris-Sud , där han blev professor 1986.

Han var medlem i styrgruppen för flera internationella datavetenskapskonferenser: 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, internationell konferens om principer och praxis för begränsningsprogrammering (CP) sedan 1994, och Federated Logic Conference (FLoC) 1995-1999. Sedan 1997 är han medlem av EATCS -rådet.

Utvalda publikationer

• Jean Pierre Jouannaud; Pierre Lescanne (sep 1982). "Om beställningar i flera uppsättningar" (PDF) . Inf. Bearbeta. Lett . 15 (2): 57–63. doi : 10.1016/0020-0190(82)90107-7 .
• JP Jouannaud; P. Lescanne; F. Reinig (1982). "Rekursiv nedbrytningsordning". Proc. IFIP TC2 arbetskonf. om formell beskrivning av programmeringskoncept, Vol. II (PDF) . Nord-Holland. s. 331–348.
• Jouannaud, Jean-Pierre, red. (1985). Rewriting Techniques and Applications, 1st Int. Conf., RTA-85 . LNCS. Vol. 202. Springer.
• A. Boudet; JP Jouannaud; M. Schmidt-Schauß (1989). "Enhet i booleska ringar och abelska grupper" . Journal of Symbolic Computation . 8 (5): 449–477. doi : 10.1016/s0747-7171(89)80054-9 .
• N. Dershowitz; J.-P. Jouannaud (1990). "Skriv om system". I Jan van Leeuwen (red.). Formella modeller och semantik . Handbok i teoretisk datavetenskap. Vol. B. Elsevier. s. 243–320.
• N. Dershowitz; J.-P. Jouannaud (1990). "Anteckningar för omskrivning". {{ citera journal }} : Citera journal kräver |journal= ( hjälp )
• N. Dershowitz och J.-P. Jouannaud och JW Klop (1991). "Öppna problem vid omskrivning". I bok, Ronald V. (red.). Rewriting Techniques and Applications, 4th Int. Conf., RTA-91 . LNCS. Vol. 488. Springer. s. 445–456.
• Hubert Comon; M. Haberstrau; J.-P. Jouannaud (1992). "Beslutbara problem i grunda ekvationsteorier (utvidgad sammanfattning)". Sjunde årliga IEEE-symposiet om logik i datavetenskap . s. 255–265.
• N. Dershowitz; J.-P. Jouannaud; JW Klop (1993). "Fler problem med att skriva om". I Kirchner, Claude (red.). Rewriting Techniques and Applications, 5th Int. Conf., RTA-93 . LNCS. Vol. 690. Springer. s. 468–487.
• Jouannaud, J.-P.; Rubio, A. (1996). "En rekursiv sökvägsordning för termer av högre ordning i eta-Long beta-normal form". I Harald Ganzinger (red.). Rewriting Techniques and Applications, 7th Int. Conf., RTA-96 . LNCS. Vol. 1103. Springer. s. 108–122.
•   Jouannaud, J.-P. (2005). "Tjugo år senare". I Giesl, J. (red.). Term Rewriting and Applications, 16th Int. Konf., RTA-05 . LNCS. Vol. 3467. Springer. s. 368–375. ISBN 978-3-540-25596-3 .
• Jouannaud, J.-P. (2006). "Modular Church-Rosser Modulo". I Frank Pfenning (red.). Term Rewriting and Applications, 17th Int. Konf., RTA-06 . LNCS. Vol. 4098. Springer. s. 96–107.
• Jouannaud, J.-P.; Rubio, A. (2006). "Beställningar av högre ordning för normal omskrivning". I Frank Pfenning (red.). Term Rewriting and Applications, 17th Int. Konf., RTA-06 . LNCS. Vol. 4098. Springer. s. 387–399.

externa länkar

• Hemsida på Laboratoire d'Informatique (LIX), École Polytechnique , Palaiseau
• Jean-Pierre Jouannaud på DBLP Bibliography Server