Жерар Юэ

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

Жерар Пьер Юэ (англ. Французский: [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 году. С 1990 по 1995 год он был координатором европейских проектов ESPRIT Logical Frameworks, затем TYPES.

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

Получил премию Эрбрана в 1998 году. ^{[ 5 ]} и получил премию EATCS в 2009 году. ^{[ 6 ]}

Публикации

Проект реализации прогнозов полетов , Общество информатики, консалтинга и эксплуатационных исследований (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) (технический отчет). Стэнфордский университет, кафедра CS. стр. 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 г.

Ссылки

^ Паван Гоял, Жерар Юэ (январь 2013 г.). «Анализ полноты читателя санскрита» (PDF) . Материалы Пятого международного симпозиума по санскритской компьютерной лингвистике, Мумбаи . Архивировано из оригинала (PDF) 14 июля 2014 г. Проверено 19 июня 2014 г.
^ Жерар Юэ, Паван Гоял (декабрь 2013 г.). «Разработка упрощенного интерфейса для аннотаций корпуса санскрита» (PDF) . Слушания, ICON13, Хайдарабад . Архивировано из оригинала (PDF) 14 июля 2014 г. Проверено 19 июня 2014 г.
^ Жерар Юэ . Архивировано 12 сентября 2008 г. в Wayback Machine.
^ Объект санскритского наследия
^ «Премия Эрбрана за выдающийся вклад в автоматизированное мышление» . Архивировано из оригинала 7 февраля 2015 г. Проверено 7 февраля 2015 г.
^ Премия Европейской ассоциации теоретической информатики

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

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

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

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

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

[1] Паван Гоял, Жерар Юэ (январь 2013 г.). «Анализ полноты читателя санскрита» (PDF) . Материалы Пятого международного симпозиума по санскритской компьютерной лингвистике, Мумбаи . Архивировано из оригинала (PDF) 14 июля 2014 г. Проверено 19 июня 2014 г.

[2] Жерар Юэ, Паван Гоял (декабрь 2013 г.). «Разработка упрощенного интерфейса для аннотаций корпуса санскрита» (PDF) . Слушания, ICON13, Хайдарабад . Архивировано из оригинала (PDF) 14 июля 2014 г. Проверено 19 июня 2014 г.

[3] Жерар Юэ . Архивировано 12 сентября 2008 г. в Wayback Machine.

[4] Объект санскритского наследия

[5] «Премия Эрбрана за выдающийся вклад в автоматизированное мышление» . Архивировано из оригинала 7 февраля 2015 г. Проверено 7 февраля 2015 г.

[6] Премия Европейской ассоциации теоретической информатики

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

Базы данных авторитетного контроля
International	FAST ISNI VIAF WorldCat
National	France BnF data Germany Israel United States Czech Republic Netherlands
Academics	Association for Computing Machinery DBLP Google Scholar MathSciNet Mathematics Genealogy Project zbMATH
Other	IdRef