Жерар Юэ - Gérard Huet

Жерар Юэ
Родившийся (1947-07-07) 7 июля 1947 г. (возраст 73)
Бурж, Франция
НациональностьФранцузский
Альма-матерКейс Вестерн Резервный университет
Парижский университет
Научная карьера
ПоляМатематика
ДокторантДжордж Эрнст
Морис Нива
ДокторантыТьерри Кокванд
Франсуа Фаж
Жан-Мари Юлло
Ксавье Леруа
Кристин Полин-Моринг

Жерар Пьер Юэ (Французский:[y.ɛ]; родился 7 июля 1947 г.) Французский компьютерный ученый, лингвист и математик. Он является старшим научным директором в INRIA и в основном известен своим крупным и плодотворным вкладом в теория типов, теория языков программирования и к теория вычислений.

биография

Жерар Юэ окончил Université Denis Diderot (Париж VII), Кейс Вестерн Резервный университет, а Université de Paris.[нужна цитата ]

Он является старшим научным директором в INRIA, член Французская Академия Наук, и член Academia Europaea. Раньше он был приглашенным профессором в Азиатский технологический институт в Бангкок, приглашенный профессор в Университет Карнеги Меллон, и приглашенный исследователь в SRI International.

Он автор алгоритм унификации за просто типизированное лямбда-исчисление, и полного метода доказательства для Церковь с теория типов (ограниченное разрешение ). В 1974–1977 годах работал редактором программы «Наставник» с Жиль Кан. Он работал над эквациональной системой доказательства KB в 1978–1984 гг. Жан-Мари Юлло. В 1980-х годах он руководил проектом Formel, который разработал язык программирования Caml. Он разработал Расчет конструкций в 1984 году с Тьерри Кокванд. Он руководил проектом Coq в 1990-х вместе с Кристин Полин, которая разработала Помощник доказательства Coq. Он изобрел структура данных молнии в 1996 г. Он был руководителем отдела международных отношений INRIA в 1996–2000 гг. Он разработал Набор инструментов для компьютерной лингвистики Zen в 2000–2004 гг.

Он организовал Институт логических основ функционального программирования в течение Года программирования на базе Техасский университет в Остине весной 1987 года. Он организовал коллоквиум «Программы проверки и улучшения» в Arc-et-Senans в 1975 г. состоялась 5-я Международная конференция по автоматизированному выводу (CADE) в г. Les Arcs в 1980 году симпозиум по логике в компьютерных науках (LICS) в Париж в 1994 году и Первый международный симпозиум по санскритской компьютерной лингвистике в 2007 году. С 1990 по 1995 год он был координатором европейских проектов ESPRIT Logical Frameworks, затем TYPES.

Он внес большой вклад в теорию объединение и развитию типизированных функциональное программирование языков, в частности CAML. Совсем недавно он был исследователем компьютерная лингвистика в санскрит.[1][2] В частности, он работает над Машины Эйленберга и о формальной структуре санскрит.[3] Он является веб-мастером объекта «Наследие санскрита».[4]

Юэ получил Премия Herbrand в 1998 году[5] и получил Премия EATCS в 2009.[6]

Публикации

  • Le Projet prevision-réalisation des vols, Société d'informatique, de consils et de recherche opérationnelle (SINCRO), Париж, 1970. Мировой рекорд
  • Спецификации для базовой коммуны Донне, SINCRO, Париж, 1971. Мировой рекорд
  • Жерар П. Юэ (1973). «Механизация теории типов» (PDF). В Нильсе Дж. Нильссоне (ред.). Proc. 3-й Int. Совместная конф. по искусственному интеллекту (IJCAI). Уильям Кауфманн. С. 139–146.
  • Жерар П. Юэ (1973). «Неразрешимость объединения в логике третьего порядка». Информация и контроль. 22 (3): 257–267. Дои:10.1016 / с0019-9958 (73) 90301-х.
  • La Gestion des données dans les systèmes informatiques, Высшая школа электричества, Малакофф, 1974. Мировой рекорд
  • «Алгоритм унификации для типизированного лямбда-исчисления», Джерард П. Хуэт, Теоретическая информатика 1 (1975), 27-57
  • Жерар Юэ (сентябрь 1976 г.). Resolution d'Equations dans des Langages d'Ordre 1,2, ... ω (Кандидат наук.). Парижский университет VII.
  • Жерар Юэ, Бернар Ланг (1978). «Доказательство и применение программных преобразований, выраженных паттернами второго порядка». Acta Informatica. 11: 31–55. Дои:10.1007 / bf00264598.
  • Жерар Юэ, Д.С. Ланкфорд (март 1978 г.). О проблеме равномерной остановки для систем переписывания терминов (PDF) (Технический отчет). ИРИЯ. п. 8. 283.

Рекомендации

  1. ^ Паван Гоял, Жерар Юэ (январь 2013 г.). «Анализ полноты санскритского читателя» (PDF). Материалы пятого международного симпозиума по санскритской компьютерной лингвистике, Мумбаи. Архивировано из оригинал (PDF) на 2014-07-14. Получено 2014-06-19.
  2. ^ Жерар Юэ, Паван Гоял (декабрь 2013 г.). «Дизайн бережливого интерфейса для аннотации корпуса на санскрите» (PDF). Труды, ICON13, Хайдарабад. Архивировано из оригинал (PDF) на 2014-07-14. Получено 2014-06-19.
  3. ^ Жерар Юэ. В архиве 2008-09-12 на Wayback Machine
  4. ^ Санскритское наследие
  5. ^ "Премия Herbrand за выдающийся вклад в автоматизированное мышление". Архивировано из оригинал на 2015-02-07. Получено 2015-02-07.
  6. ^ Премия Европейской ассоциации теоретической информатики

внешняя ссылка

- Санскритское наследие: [1]. Проверено 29 июля 2020.
- Dictionnaire Héritage du Sanscrit: pdf.downloadable версия, регулярно обновляемая автором: [2]. Проверено 29 июля 2020.
- В сети Версия DICO (домашняя страница): [3]. Проверено 29 июля 2020.