Русская Википедия:Юэ, Жерар
Шаблон:Однофамильцы Шаблон:Учёный Жерар Пьер Юэ (Шаблон:Lang-fr) — французский учёный в области информатики, математики и лингвистики. Является главным научным директором по исследованиям в INRIA и наиболее известен благодаря значительному вкладу в теорию типов, теорию языка программирования и теорию алгоритмов.
Биография
Жерар Юэ окончил университет Париж Дидро (Париж VII), университет Кейс Вестерн Резерв и Парижский университет.
Cтарший директор по исследованиям INRIA, член Французской академии наук, член Европейской Академия. Ранее он был приглашенным профессором в Азиатском технологическом институте в Бангкоке, приглашенным профессором Университета Карнеги-Меллона и приглашенным исследователем в компании SRI International.
Является автором Шаблон:Iw для просто типизированного лямбда-исчисления и полного доказательства метод теории типов Чёрча. Он работал над редактором программы Mentor в 1974—1977 годах с Жилем Каном. В 1978—1984 годах работал над КБ эквациональной системой доказательств совместно с Жаном-Мари Юлло. Возглавлял проект Formel в 1980-х годах, который разработал язык программирования Caml. В 1984 году разработал исчисление конструкций совместно с Тьерри Коканом. Возглавлял проект Coq в 1990-х годах с Кристин Полин, разрабатывавшей проверку ассистента Coq[1]. Изобрел структуру данных Шаблон:Iw в 1996. Был руководителем международных отношений INRIA в 1996—2000 гг. Разработал Zen Computational Linguistics toolkit в 2000—2004 гг.
Организовал Институт Логических Основ Функционального Программирования в течение Года Программирования в Техасском университете в Остине весной 1987 года. Организовал коллоквиум «Испытание и улучшение программ» в Шаблон:Iw в 1975, 5-ю Международную Конференцию по Автоматизированным Вычислениям (International Conference on Automated Deduction, CADE) в Лез-Арк в 1980, симпозиум «Логика в компьютерных науках» (the Logic in Computer Science Symposium, LICS) в Париже в 1994 и Первый международный симпозиум в Санскритской Компьютерной Лингвистике (First International Symposium in Sanskrit Computational Linguistics) в 2007 году. Был координатором ESPRIT Европейских проектов логических фремворков, затем TYPES, с 1990 до 1995.
Он внес большой вклад в теорию объединения и развития типизированных функциональных языков программирования, в частности Caml.[2][3] Совсем недавно он был ученым по компьютерной лингвистике на санскрите.[4] Является веб-мастером сайта the Sanskrit Heritage Site.[5]
Юэ получил премию Эрбрана в 1998 году[6] и премию EATCS в 2009 году.[7]
Публикации
- Le Projet prévision-réalisation des vols, Société d’informatique, de conseils et de recherche opérationnelle (SINCRO), Paris, 1970. WorldCat Record Шаблон:Wayback
- Spécifications pour une base commune de données, SINCRO, Paris, 1971. WorldCat Record Шаблон:Wayback
- Шаблон:Книга
- Шаблон:Статья
- La Gestion des données dans les systèmes informatiques, École supérieure d'électricité, Malakoff, 1974. WorldCat Record Шаблон:Wayback
- «A Unification Algorithm for Typed Lambda-Calculus», Gerard P. Huet, Theoretical Computer Science 1 (1975), 27-57
- Шаблон:Cite thesis
- Шаблон:Статья
- Шаблон:Книга
Примечания
Ссылки
- Шаблон:MathGenealogy
- Gérard Huet’s home page Шаблон:Wayback
- Шаблон:Cite web Шаблон:Small (428 pages, 5 April 2007)
- ↑ What is Coq ? | The Coq Proof Assistant Шаблон:Wayback. Coq.inria.fr. Retrieved on 2013-07-21.
- ↑ Шаблон:Книга Шаблон:Cite web
- ↑ Шаблон:Книга Шаблон:Cite web
- ↑ Gérard Huet. Шаблон:Wayback
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- Русская Википедия
- Выпускники Парижского университета
- Учёные в области информатики Франции
- Члены Французской академии наук
- Выпускники Университета Кейс Вестерн Резерв
- Страницы, где используется шаблон "Навигационная таблица/Телепорт"
- Страницы с телепортом
- Википедия
- Статья из Википедии
- Статья из Русской Википедии