Jean-Pierre Jouannaud - Jean-Pierre Jouannaud

Jean-Pierre Jouannaud
Jean Pierre Jouannaud (przycięte).jpg
maj 2008
Urodzić się ( 21.05.1947 )21 maja 1947 (wiek 74)
Aix-les-Bains
Nagrody Srebrny Medal CNRS 1986, Prix ​​Michel Montpetit 2000
Kariera naukowa
Tezy
Strona internetowa www .lix .polytechnique .fr /Labo /Jean-Pierre .Jouannaud

Jean-Pierre Jouannaud to francuski informatyk, znany ze swojej pracy w dziedzinie przepisywania terminów .

Urodził się 21 maja 1947 w Aix-les-Bains (Francja). Od 1967 do 1969 przebywał w Ecole Polytechnique (Paryż). W latach 1970, 1972 i 1977 napisał swoją pracę magisterską ( DEA ), doktorską (cykl Thèse de 3ème) i habilitacyjną ( Thèse d'état ) na Université de Paris VI . W 1979 został profesorem nadzwyczajnym na Uniwersytecie Nancy ; 1985 przeniósł się na Université de Paris-Sud , gdzie w 1986 został profesorem zwyczajnym.

Był członkiem komitetu sterującego kilku międzynarodowych konferencji informatycznych: 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, Międzynarodowa Konferencja Zasad i Praktyki Programowania z Ograniczeniami (CP) od 1994 oraz Federated Logic Conference (FLoC) 1995-1999. Od 1997 roku jest członkiem rady EATCS .

Wybrane publikacje

  • Jean Pierre Jouannaud; Pierre Lescanne (wrzesień 1982). „O zamówieniach wielozestawowych” (PDF) . Inf. Proces. Niech . 15 (2): 57-63. doi : 10.1016/0020-0190(82)90107-7 .
  • JP Jouannaud; P. Lescanne; F. Reinig (1982). „Rekurencyjne porządkowanie dekompozycji”. Proc. Konf. robocza IFIP TC2 w sprawie formalnego opisu koncepcji programowania, tom II (PDF) . Północna Holandia. s. 331–348.
  • Jouannaud, Jean-Pierre, wyd. (1985). Techniki i aplikacje przepisywania, 1st Int. Konf., RTA-85 . LNCS. 202 . Skoczek.
  • A. Boudeta; JP Jouannaud; M. Schmidt-Schauß (1989). „Zjednoczenie w pierścieniach logicznych i grupach abelowych” . Dziennik Obliczeń Symbolicznych . 8 (5): 449–477. doi : 10.1016/s0747-7171(89)80054-9 .
  • N. Dershowitza; J.-P. Jouannaud (1990). „Przepisz systemy”. W Jan van Leeuwen (red.). Modele formalne i semantyka . Podręcznik informatyki teoretycznej. B . Elsevier. s. 243-320.
  • N. Dershowitza; J.-P. Jouannaud (1990). „Zapisy do przepisywania”. Cytowanie dziennika wymaga |journal=( pomoc )
  • N. Dershowitz i J.-P. Jouannaud i JW Klop (1991). „Otwarte problemy w przepisaniu”. W książce Ronald V. (red.). Techniki i aplikacje przepisywania, 4. Int. Konf., RTA-91 . LNCS. 488 . Skoczek. s. 445-456.
  • Huberta Commona; p. Haberstrau; J.-P. Jouannaud (1992). „Rozstrzygalne problemy w płytkich teorii równań (Extended Abstract)” . Siódme doroczne sympozjum IEEE na temat logiki w informatyce . s. 255–265.
  • N. Dershowitza; J.-P. Jouannaud; JW Klop (1993). „Więcej problemów w przepisaniu”. W Kirchner, Claude (red.). Techniki i aplikacje przepisywania, 5th Int. Konf., RTA-93 . LNCS. 690 . Skoczek. s. 468-487.
  • Jouannaud, JP; Rubio, A. (1996). „Rekursywne zamawianie ścieżki dla terminów wyższego rzędu w eta-Long beta-normalnej formie”. W Harald Ganzinger (red.). Techniki i aplikacje przepisywania, 7. Int. Konf., RTA-96 . LNCS. 1103 . Skoczek. s. 108–122.
  • Jouannaud, J.-P. (2005). „Dwadzieścia lat później”. W Giesl J. (red.). Przepisywanie terminów i aplikacje, 16 Int. Konf., RTA-05 . LNCS. 3467 . Skoczek. s. 368–375. Numer ISBN 978-3-540-25596-3.
  • Jouannaud, J.-P. (2006). „Modułowy Kościół-Rosser Modulo”. U Franka Pfenninga (red.). Przepisywanie terminów i aplikacje, 17 Int. Konf., RTA-06 . LNCS. 4098 . Skoczek. s. 96–107.
  • Jouannaud, JP; Rubio, A. (2006). „Zamówienia wyższego rzędu dla normalnego przepisywania”. U Franka Pfenninga (red.). Przepisywanie terminów i aplikacje, 17 Int. Konf., RTA-06 . LNCS. 4098 . Skoczek. s. 387-399.

Bibliografia

Zewnętrzne linki