Jeana-Pierre'a Jouannauda

Jean-Pierre Jouannaud,
Jean Pierre Jouannaud (cropped).jpg
maj 2008
Urodzić się ( 21.05.1947 ) 21 maja 1947 (wiek 75)
Aix-les-Bains
Nagrody Srebrny Medal CNRS 1986, Prix Michel Montpetit 2000
Kariera naukowa
Tezy
  •   Filtres digitaux autoadaptifs: algorytmy obliczeń i symulacji (1972)
  •   Sur l'inférence et la synthèse automatiques de fonctions LISP à partir d'exemples (1977)
Strona internetowa www .lix .polytechnique .fr /Labo /Jean-Pierre .Jouannaud

Jean-Pierre Jouannaud jest francuskim informatykiem, znanym ze swojej pracy nad przepisywaniem terminów .

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

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 na temat zasad i praktyki programowania z ograniczeniami (CP) od 1994 oraz Federated Logic Conference (FLoC) 1995-1999. Od 1997 jest członkiem Rady EATCS .

Wybrane publikacje

  • Jean Pierre Jouannaud; Pierre Lescanne (wrzesień 1982). „O porządkowaniu wielu zestawów” (PDF) . Inf. Proces. Lett . 15 (2): 57–63. doi : 10.1016/0020-0190(82)90107-7 .
  • JP Jouannaud; P. Lescanne; F. Reiniga (1982). „Rekurencyjne porządkowanie dekompozycji”. proc. Konf. robocza IFIP TC2 w sprawie formalnego opisu koncepcji programowania, tom II (PDF) . Holandia Północna. s. 331–348.
  • Jouannaud, Jean-Pierre, wyd. (1985). Przepisywanie technik i aplikacji, 1st Int. Konf., RTA-85 . LNCS. Tom. 202.Springera.
  • A. Boudeta; JP Jouannaud; M. Schmidt-Schauß (1989). „Zjednoczenie w pierścieniach boolowskich i grupach abelowych” . Dziennik obliczeń symbolicznych . 8 (5): 449–477. doi : 10.1016/s0747-7171(89)80054-9 .
  • N. Dershowitz; J.-P. Jouannauda (1990). „Przepisz systemy”. W Jan van Leeuwen (red.). Modele formalne i semantyka . Podręcznik informatyki teoretycznej . Tom. B.Elsevier. s. 243–320.
  • N. Dershowitz; J.-P. Jouannauda (1990). „Notatki do przepisywania”. {{ cite journal }} : Cite journal wymaga |journal= ( pomoc )
  • N. Dershowitz i J.-P. Jouannaud i JW Klop (1991). „Otwarte problemy z przepisywaniem”. W książce, Ronald V. (red.). Przepisywanie technik i aplikacji, 4th Int. konf., RTA-91 . LNCS. Tom. 488.Springera. s. 445–456.
  • Huberta Comona; M. Haberstrau; J.-P. Jouannauda (1992). „Rozstrzygalne problemy w płytkich teoriach równań (streszczenie rozszerzone)”. Siódme doroczne sympozjum IEEE na temat logiki w informatyce . s. 255–265.
  • N. Dershowitz; J.-P. Jouannaud; JW Klop (1993). „Więcej problemów z przepisywaniem”. W Kirchner, Claude (red.). Przepisywanie technik i aplikacji, 5th Int. konf., RTA-93 . LNCS. Tom. 690. Wiśniewski. s. 468–487.
  • Jouannaud, J.-P.; Rubio, A. (1996). „Rekurencyjne porządkowanie ścieżek dla warunków wyższego rzędu w eta-Long beta-normalnej formie”. W Haraldzie Ganzingerze (red.). Przepisywanie technik i aplikacji, 7th Int. Konf., RTA-96 . LNCS. Tom. 1103. Zygmunt. 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. Tom. 3467. Zygmunt. s. 368–375. ISBN 978-3-540-25596-3 .
  • Jouannaud, J.-P. (2006). „Modułowy kościół-Rosser Modulo” . W Frank Pfenning (red.). Przepisywanie terminów i aplikacje, 17. Int. konf., RTA-06 . LNCS. Tom. 4098. Zygmunt. s. 96–107.
  • Jouannaud, J.-P.; Rubio, A. (2006). „Porządki wyższego rzędu dla normalnego przepisywania”. W Frank Pfenning (red.). Przepisywanie terminów i aplikacje, 17. Int. konf., RTA-06 . LNCS. Tom. 4098. Zygmunt. s. 387–399.

Linki zewnętrzne

Pobrano z „ https://en.wikipedia.org/w/index.php?title=Jean-Pierre_Jouannaud&oldid=1093829815 ”