Жан-Пьер Жуанно - Jean-Pierre Jouannaud

Жан-Пьер Жуанно
Жан-Пьер Жуано (обрезано) .jpg
Май 2008 г.
Родился (1947-05-21) 21 мая 1947 г. (возраст 73)
Экс-ле-Бен
НаградыСеребряная медаль CNRS 1986, Приз Мишеля Монпети 2000
Научная карьера
Тезисов
  • Filtres digitaux autoadaptifs: алгоритмы расчета и моделирования (1972)
  • Sur l'inférence et la synthèse automatiques de fonctions LISP à partir d'exemples (1977)
Интернет сайтwww.lix.polytechnique.fr/ Labo/ Жан-Пьер.Jouannaud

Жан-Пьер Жуанно французский ученый-компьютерщик, известный своими работами в области переписывание терминов.

Родился 21 мая 1947 г. в г. Экс-ле-Бен (Франция). С 1967 по 1969 год посетил Ecole Polytechnique (Париж). В 1970, 1972 и 1977 годах он написал магистерскую диссертацию (ДЭА ), Кандидатская диссертация (Цикл Thèse de 3ème),[1] и докторская диссертация (Thèse d'état ),[2] соответственно, на Университет Парижа VI.[3]:724В 1979 году он стал доцентом Университет Нэнси; 1985 он перешел на Université de Paris-Sud, где в 1986 году стал профессором.

Он был членом руководящего комитета нескольких международных конференций по информатике: Международная конференция по методам и приложениям перезаписи (RTA) 1989-1994, Симпозиум IEEE по логике в компьютерных науках (LICS) 1993-1997, Конференция по логике информатики (CSL) 1993-1997, Международная конференция по принципам и практике программирования с ограничениями (CP) с 1994 года, и Федеративная логическая конференция (FLoC) 1995-1999 гг. С 1997 г. член EATCS совет.[4]

Избранные публикации

  • Жан Пьер Жуанно; Пьер Лесканн (сентябрь 1982 г.). «О порядках из нескольких множеств» (PDF). Инф. Обработать. Латыш. 15 (2): 57–63. Дои:10.1016/0020-0190(82)90107-7.
  • Ж. П. Жуано; П. Лесканн; Ф. Рейниг (1982). «Рекурсивный порядок декомпозиции». Proc. IFIP TC2 Рабочая конференция. по формальному описанию концепций программирования, Том II (PDF). Северная Голландия. С. 331–348.
  • Жуанно, Жан-Пьер, изд. (1985). Методы перезаписи и приложения, 1st Int. Конф., РТА-85. LNCS. 202. Springer.
  • А. Буде; Ж. П. Жуано; М. Шмидт-Шаус (1989). «Объединение в булевых кольцах и абелевых группах». Журнал символических вычислений. 8 (5): 449–477. Дои:10.1016 / s0747-7171 (89) 80054-9.
  • Н. Дершовиц; Ж.-П. Жуанно (1990). «Системы перезаписи». В Яне ван Леувене (ред.). Формальные модели и семантика. Справочник по теоретической информатике. B. Эльзевир. С. 243–320.
  • Н. Дершовиц; Ж.-П. Жуанно (1990). «Обозначения для перезаписи». Цитировать журнал требует | журнал = (Помогите)
  • Н. Дершовиц, Ж.-П. Жуанно и J.W. Клоп (1991). «Открытые проблемы перезаписи». В книге Рональд В. (ред.). Методы перезаписи и приложения, 4th Int. Конф., РТА-91. LNCS. 488. Springer. С. 445–456.
  • Юбер Комон; М. Хаберстрау; Ж.-П. Жуанно (1992). «Разрешаемые задачи мелкой теории уравнений (расширенная аннотация)». Седьмой ежегодный симпозиум IEEE по логике в компьютерных науках. С. 255–265.
  • Н. Дершовиц; Ж.-П. Жуанно; J.W. Клоп (1993). «Больше проблем при перезаписи». В Киршнер, Клод (ред.). Методы перезаписи и приложения, 5-е Int. Конф., РТА-93. LNCS. 690. Springer. С. 468–487.
  • Jouannaud, J.-P .; Рубио, А. (1996). «Рекурсивное упорядочение путей для членов высшего порядка в бета-нормальной форме eta-Long». В Харальд Ганзингер (ред.). Методы перезаписи и приложения, 7-я Int. Конф., РТА-96. LNCS. 1103. Springer. С. 108–122.
  • Жуанно, Ж.-П. (2005). «Двадцать лет спустя». В Giesl, J. (ред.). Изменение сроков и заявки, 16-е межд. Конф., РТА-05. LNCS. 3467. Springer. С. 368–375. ISBN  978-3-540-25596-3.
  • Жуанно, Ж.-П. (2006). «Модульная церковь-Россер модуло». В Фрэнк Пфеннинг (ред.). Изменение сроков и заявки, 17-е межд. Конф., РТА-06. LNCS. 4098. Springer. С. 96–107.
  • Jouannaud, J.-P .; Рубио, А. (2006). «Порядки более высокого порядка для нормальной перезаписи». У Фрэнка Пфеннинга (ред.). Изменение сроков и заявки, 17-е межд. Конф., РТА-06. LNCS. 4098. Springer. С. 387–399.

использованная литература

  1. ^ Цифровые фильтры: автоадаптивы: алгоритмы расчета и моделирования - запись в WorldCat
  2. ^ Sur l'inférence et la synthèse automatiques de fonctions LISP à partir d'exemples - запись в WorldCat
  3. ^ Жан-Луи Лассез; Гордон Плоткин, ред. (1991). Вычислительная логика - Очерки в честь Алана Робинсона. Кембридж / Массачусетс: MIT Press. ISBN  978-0-262-12156-9.
  4. ^ Vita

внешние ссылки