Оглавление [Скрыть]
Жерар Юэ
-
Биография Жерара Юэ
- Французский ученый-компьютерщик, лингвист и математик
- Старший директор по исследованиям в INRIA, известен вкладом в теорию типов и языки программирования
-
Образование и карьера
- Окончил Университет Дени Дидро, Кейс Вестерн Резерв и Парижский университет
- Работал в различных исследовательских институтах, включая INRIA и SRI International
- Автор алгоритма унификации и метода доказательства теории типов Черча
-
Научные достижения
- Руководил проектами Formel, Caml, Coq и Zen
- Изобрел структуру данных zipper и руководил отделом международных отношений INRIA
- Занимается компьютерной лингвистикой санскрита, в частности, формальной структурой и машинами Эйленберга
-
Награды и признание
- Получил премию Herbrand Award и EATCS Award
-
Публикации
- Автор множества научных работ, включая “Руководство по совершенствованию информационных систем” и “Алгоритм унификации для типизированного лямбда-исчисления”