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