Жерар Юэ

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

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

Биография

Жерар Юэ окончил Университет Дени Дидро (Париж VII), Университет Кейс Вестерн Резерв и Парижский университет .

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

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

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

Он внес большой вклад в теорию унификации и в разработку типизированных функциональных языков программирования, в частности Caml . Совсем недавно он занимался компьютерной лингвистикой на санскрите . В частности, он работает над машинами Эйленберга и формальной структурой санскрита . Он является веб-мастером объекта санскритского наследия.

Юэ получил премию Эрбрана в 1998 году. и получил премию EATCS в 2009 году.

Публикации

• Проект реализации прогнозов полетов , Общество информатики, консалтинга и эксплуатационных исследований (SINCRO), Париж, 1970. Рекорд WorldCat .
• Спецификации для общей базы данных , SINCRO, Париж, 1971. Рекорд WorldCat .
• Жерар П. Юэ (1973). «Механизация теории типов» (PDF) . В Нильсе Дж. Нильссоне (ред.). Учеб. 3-й Межд. Совместная конф. по искусственному интеллекту (IJCAI) . Уильям Кауфманн. стр. 139–146.
• Жерар П. Юэ (1973). «Неразрешимость объединения в логике третьего порядка». Информация и контроль . 22 (3): 257–267. дои : 10.1016/s0019-9958(73)90301-x .
• Управление данными в компьютерных системах , Высшая школа электротехники, Малакофф, 1974. Рекорд WorldCat .
• «Алгоритм объединения типизированного лямбда-исчисления» , Жерар П. Юэ, Theoretical Computer Science 1 (1975), 27–57.
• Жерар Юэ (сентябрь 1976 г.). Решение уравнений на языках порядка 1,2,...ω (доктор философии). Парижский университет VII.
• Жерар Юэ, Бернар Ланг (1978). «Доказательство и применение преобразований программы, выраженных с помощью шаблонов второго порядка». Акта Информатика . 11 :31–55. дои : 10.1007/bf00264598 . S2CID   27669838 .
• Жерар Юэ, сержант Ланкфорд (март 1978 г.). О единой проблеме остановки для систем переписывания терминов (PDF) (Технический отчет). ИРИА. п. 8. 283.

• Г. Юэ, Дж. М. Халлот (октябрь 1980 г.). «Доказательства по индукции в уравнениях с конструкторами». 21-я Анна. Симп. по основам информатики (PDF) . Том. 25. ИИЭР. стр. 96–107. дои : 10.1016/0022-0000(82)90006-X . S2CID   9214469 . {{cite book}}: |journal= игнорируется ( помогите )
• Г. Хюэт, округ Колумбия Оппен (январь 1980 г.). Уравнения и правила перезаписи: обзор (PDF) (технический отчет). Стэнфордский университет, кафедра компьютерной техники, с. 52. СТАН-CS-80-785.
• Жерар Юэ (1981). «Полное доказательство корректности алгоритма завершения Кнута-Бендикса» . Дж. Компьютер. Сист. Наука . 23 (1): 11–21. дои : 10.1016/0022-0000(81)90002-7 .
• Жерар Юэ (май 1986 г.). Формальные структуры для вычислений и дедукции . Международная летняя школа по логике программирования и расчетам дискретного проектирования. Архивировано из оригинала 14 июля 2014 г. Проверено 19 июня 2014 г.
• Жерар Юэ (1988). К. Фучи и М. Ниват (ред.). Принципы индукции, формализованные в расчете конструкций (PDF) . Северная Голландия. стр. 205–216. Архивировано из оригинала (PDF) 1 июля 2015 г. Проверено 19 июня 2014 г.

• Жерар Юэ (август 1993 г.). Теория невязки в λ-исчислении: формальное развитие (PDF) (Технический отчет). ИНРИА. 2009. Архивировано из оригинала (PDF) 1 июля 2015 г. Проверено 19 июня 2014 г.
• Хуэт, врач общей практики (1996). Ганцингер, Харальд (ред.). Ассистент по проверке дизайна (приглашенная лекция) . ЛНКС. Том. 1103. Шпрингер-Верлаг. стр. 153.
• Жерар Юэ, Х. Лолер (сентябрь 1997 г.). «Преобразователи конечных состояний как регулярные деревья Бема» (PDF) . В М. Абади и Т. Ито (ред.). Теоретические аспекты компьютерного программного обеспечения . ЛНКС. Том. 1281. Спрингер. стр. 604–610. Архивировано из оригинала (PDF) 22 декабря 2014 г. Проверено 19 июня 2014 г.
• Жерар Юэ (1998). «Обычные деревья Бема» (PDF) . Математика. Структура. В Комп. Наука . 8 (6): 671–680. дои : 10.1017/s0960129598002643 . S2CID   15752309 . Архивировано из оригинала (PDF) 24 января 2016 г. Проверено 19 июня 2014 г.

• Жерар Юэ (2002). «Объединение высшего порядка 30 лет спустя» (PDF) . В В. Карреньо, К. Муньосе и С. Тахаре (ред.). Материалы 15-й Международной конференции ТФОЛ . ЛНКС. Том. 2410. Спрингер. стр. 3–12. Постскриптум
• Жерар Юэ (2003). Файруз Камареддин (ред.). Линейные контексты и функтор совместного использования: методы символьных вычислений (PDF) . Клювер. Архивировано из оригинала (PDF) 1 июля 2015 г. Проверено 19 июня 2014 г.

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

• Жерар Юэ в проекте «Математическая генеалогия»
• Официальный сайт
• Жерар Юэ:

- Объект санскритского наследия: [1] . Проверено 29 июля 2020 г.

- Dictionnaire Héritage du Sanscrit : загружаемая версия в формате pdf, регулярно обновляемая автором: [2] . Проверено 29 июля 2020 г.

- Онлайн- версия DICO (домашняя страница): [3] . Проверено 29 июля 2020 г.