Жерар Пьер Юэ ( французский: [y.ɛ] ; родился 7 июля 1947 года) - французский ученый-компьютерщик, лингвист и математик. Он является старшим директором по исследованиям INRIA и в основном известна своему крупный и плодотворного вклад в теорию типов , программирование теории языка и к теории вычислений .
Жерар Юэ | |
---|---|
Родившийся | Бурж , Франция | 7 июля 1947 г.
Национальность | Французский |
Альма-матер | Кейс Вестерн Резервный университет Парижского университета |
Научная карьера | |
Поля | Математика |
Докторант | Джордж Эрнст Морис Нива |
Докторанты | Тьерри Кокван Франсуа Фаж Жан-Мари Юлло Ксавье Леруа Кристин Полен-Моринг |
биография
Жерар Юэ окончил Université Denis Diderot (Париж VII), Case Western Reserve University и Université de Paris . [ необходима цитата ]
Он является старшим научным директором INRIA , членом Французской академии наук и членом Academia Europaea . Раньше он был приглашенным профессором Азиатского технологического института в Бангкоке , приглашенным профессором Университета Карнеги-Меллона и приглашенным исследователем в SRI International .
Он является автором алгоритма унификации для простого типизированного лямбда - исчисления и полного доказательства метода Церкви «s теории типов ( ограниченно разрешение ). В 1974–1977 годах работал редактором программы «Наставник» с Жилем Каном . Он работал над эквациональной системой доказательства KB в 1978–1984 вместе с Жаном-Мари Юлло . В 1980-х годах он руководил проектом Formel, который разработал язык программирования Caml. Он разработал Расчет конструкций в 1984 году вместе с Тьерри Кокваном . Он возглавлял проект Coq в 1990-х вместе с Кристин Полин, которая разработала помощника по проверке Coq . Он изобрел структуру данных застежки-молнии в 1996 году. Он был главой отдела международных отношений INRIA в 1996–2000 годах. Он разработал набор инструментов Zen Computational Linguistics в 2000–2004 годах.
Весной 1987 года он организовал Институт логических основ функционального программирования в течение Года программирования в Техасском университете в Остине. В 1975 году он организовал коллоквиум «Подтверждение и улучшение программ» в Арк-э-Сенанс, пятую международную конференцию. по автоматизированному дедукции (CADE) в Лез-Арке в 1980 году, симпозиум по логике в компьютерных науках (LICS) в Париже в 1994 году и Первый международный симпозиум по санскритской компьютерной лингвистике в 2007 году. Он был координатором европейских проектов ESPRIT Logical Frameworks, затем ТИПЫ, с 1990 по 1995 год.
Он внес значительный вклад в теорию унификации и в развитие типизированных функциональных языков программирования , в частности 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. WorldCat Record
- ХаРаКТЕРИСТИКИ налить ипе базовую коммуну де données , SINCRO, Париж, 1971. WorldCat Record
- Жерар П. Юэ (1973). «Механизация теории типов» (PDF) . В Нильсе Дж. Нильссоне (ред.). Proc. 3-й Int. Совместная конф. по искусственному интеллекту (IJCAI) . Уильям Кауфманн. С. 139–146.
- Жерар П. Юэ (1973). «Неразрешимость объединения в логике третьего порядка» . Информация и контроль . 22 (3): 257–267. DOI : 10.1016 / s0019-9958 (73) 90301-х .
- La Gestion des données dans les systèmes informatiques , Высшая школа электричества, Малакофф, 1974. WorldCat Record
- "Алгоритм унификации для типизированного лямбда-исчисления" , Джерард П. Хуэт, Теоретическая информатика 1 (1975), 27-57
- Жерар Юэ (сентябрь 1976 г.). Resolution d'Equations dans des Langages d'Ordre 1,2, ... ω (доктор философии). Парижский университет VII.
- Жерар Юэ, Бернар Ланг (1978). «Доказательство и применение программных преобразований, выраженных паттернами второго порядка». Acta Informatica . 11 : 31–55. DOI : 10.1007 / bf00264598 . S2CID 27669838 .
- Жерар Юэ, Д. С. Ланкфорд (март 1978 г.). On the Uniform Halting Problem for Term Rewriting Systems (PDF) (Технический отчет). ИРИЯ. п. 8. 283.
- Г. Хуэ, Дж. М. Халлот (октябрь 1980 г.). «Доказательства индукцией в теории уравнений с конструкторами». 21-я Энн. Symp. по основам информатики (PDF) . Журнал компьютерных и системных наук . 25 . IEEE. С. 96–107. DOI : 10.1016 / 0022-0000 (82) 90006-X . S2CID 9214469 .
- Г. Хуэт, округ Колумбия Оппен (январь 1980 г.). Уравнения и правила перезаписи: обзор (PDF) (Технический отчет). Стэнфордский университет, кафедра CS с. 52. STAN-CS-80-785.
- Жерар Юэ (1981). «Полное доказательство правильности алгоритма завершения Кнута-Бендикса» . J. Comput. Syst. Sci . 23 (1): 11–21. DOI : 10.1016 / 0022-0000 (81) 90002-7 .
- Жерар Юэ (май 1986). Формальные структуры для вычислений и дедукции . Международная летняя школа по логике программирования и исчислениям дискретного проектирования. Архивировано из оригинала на 2014-07-14 . Проверено 19 июня 2014 .
- Жерар Юэ (1988). К. Фучи и М. Ниват (ред.). Принципы индукции, формализованные в исчислении конструкций (PDF) . Северная Голландия. С. 205–216. Архивировано из оригинального (PDF) 01.07.2015 . Проверено 19 июня 2014 .
- Жерар Юэ (август 1993 г.). Остаточная теория в λ-исчислении: формальное развитие (PDF) (Технический отчет). INRIA. 2009. Архивировано из оригинального (PDF) 01.07.2015 . Проверено 19 июня 2014 .
- Huet, GP (1996). Ганзингер, Харальд (ред.). Design Proof Assistant (приглашенная лекция) . LNCS. 1103 . Springer-Verlag. п. 153.
- Жерар Юэ, Х. Лаульер (сентябрь 1997 г.). "Конечные преобразователи как правильные деревья Бема" (PDF) . В М. Абади и Т. Ито (ред.). Теоретические аспекты компьютерного программного обеспечения . LNCS. 1281 . Springer. С. 604–610. Архивировано из оригинального (PDF) 22 декабря 2014 года . Проверено 19 июня 2014 .
- Жерар Юэ (1998). "Регулярные деревья Бема" (PDF) . Математика. Struct. В комп. Наука . 8 (6): 671–680. DOI : 10.1017 / s0960129598002643 . Архивировано из оригинального (PDF) 24 января 2016 года . Проверено 19 июня 2014 .
- Жерар Юэ (2002). «Объединение высшего порядка 30 лет спустя» (PDF) . В В. Карреньо, К. Муньос и С. Тахар (ред.). Материалы 15-й Международной конференции TPHOL . LNCS. 2410 . Springer. С. 3–12. Постскриптум
- Жерар Юэ (2003). Файруз Камареддин (ред.). Линейные контексты и функция совместного использования: методы символьных вычислений (PDF) . Kluwer. Архивировано из оригинального (PDF) 01.07.2015 . Проверено 19 июня 2014 .
Рекомендации
- ^ Паван Гоял, Жерар Юэ (январь 2013 г.). "Анализ полноты санскритского читателя" (PDF) . Труды Пятого Международного симпозиума по санскритской компьютерной лингвистике, Мумбаи . Архивировано из оригинального (PDF) 14 июля 2014 года . Проверено 19 июня 2014 .
- ^ Жерар Юэ, Паван Гоял (декабрь 2013 г.). «Дизайн бережливого интерфейса для аннотации корпуса на санскрите» (PDF) . Труды, ICON13, Хайдарабад . Архивировано из оригинального (PDF) 14 июля 2014 года . Проверено 19 июня 2014 .
- ^ Жерар Юэ . Архивировано 12 сентября 2008 года на Wayback Machine.
- ^ Санскритское наследие
- ^ «Премия Herbrand за выдающийся вклад в автоматизированное рассуждение» . Архивировано из оригинала на 2015-02-07 . Проверено 7 февраля 2015 .
- ^ Премия Европейской ассоциации теоретической информатики
Внешние ссылки
- Жерар Юэ в проекте « Математическая генеалогия»
- Домашняя страница Жерара Юэ
- Жерар Юэ:
- - Санскритское наследие: [1] . Проверено 29 июля 2020.
- - Dictionnaire Héritage du Sanscrit : pdf.downloadable version, регулярно обновляемый автором: [2] . Проверено 29 июля 2020.
- - Онлайн- версия DICO (домашняя страница): [3] . Проверено 29 июля 2020.