Жан Галье
Жан Анри Галье (род. 1949) — исследователь вычислительной логики в Пенсильванском университете , где он занимает должности на факультете компьютерных и информационных наук и факультете математики.
Биография
[ редактировать ]Галье родился 5 января 1949 года в Нанси, Франция , и имеет двойное французское и американское гражданство. Он получил степень бакалавра в Севрском лицее в 1966 году и степень инженера-строителя в Национальной школе мостов и дорог в 1972 году. [ 1 ] Затем он переехал в Калифорнийский университет в Лос-Анджелесе для учебы в аспирантуре и получил степень доктора философии. в области компьютерных наук в 1978 году под совместным руководством Шейлы Грейбах и Эмили Перлински Фридман. Его диссертация называлась « Семантика и корректность классов детерминированных и недетерминированных рекурсивных программ» . [ 1 ] [ 2 ] После постдокторской учебы в Калифорнийском университете в Санта-Барбаре в 1978 году он поступил на факультет компьютерных и информационных наук Пенсильванского университета. В Пенсильвании он получил звание профессора в 1990 году, а в 1994 году получил вторичное назначение на факультет математики. и руководил Французским институтом культуры и технологий с 2001 по 2004 год. [ 1 ]
Взносы
[ редактировать ]Наиболее часто цитируемая исследовательская работа Галлиера, написанная его учеником Уильямом Ф. Даулингом, предлагает алгоритм линейного времени для выполнимости по Хорну . [ДГ84] Это вариант проблемы логической выполнимости : входными данными является булева формула в конъюнктивной нормальной форме с не более чем одним положительным литералом на каждое предложение, а цель состоит в том, чтобы присвоить значения истинности переменным формулы, чтобы сделать всю формулу истинной. Решение проблем выполнимости по Хорну является центральной вычислительной парадигмой языка программирования Пролог . [ 3 ]
Галье также является автором пяти книг по вычислительной логике. [G86] вычислительная геометрия , [G99] [G00] низкоразмерная топология , [GX13] и дискретная математика . [G11]
Избранные публикации
[ редактировать ]Научные статьи
[ редактировать ]| ДГ84. | Даулинг, Уильям Ф.; Галье, Жан Х. (1984), «Алгоритмы линейного времени для проверки выполнимости пропозициональных формул Хорна», Journal of Logic Programming , 1 (3): 267–284, doi : 10.1016/0743-1066(84)90014- 1 , МР 0770156 .
|
Книги
[ редактировать ]| Г86. | Галье, Жан Х. (1986), Логика для информатики: основы автоматического доказательства теорем , Wiley . 2-е изд., Dover Publications, 2015. [ 4 ]
|
| G99. | Галье, Жан (1999), Кривые и поверхности в геометрическом моделировании: теория и алгоритмы , Серия Моргана Кауфмана по компьютерной графике и геометрическому моделированию, Сан-Франциско, Калифорния: Морган Кауфманн, ISBN 1-55860-599-1 . [ 5 ]
|
| Г00. | Галье, Жан (2000), Геометрические методы и приложения: для информатики и техники , Тексты по прикладной математике, том. 38, Нью-Йорк: Springer-Verlag, номер номера : 10.1007/978-1-4613-0137-0 , ISBN. 0-387-95044-3 . 2-е изд., 2011, ISBN 978-1-4419-9960-3 . [ 6 ] [ 7 ] [ 8 ]
|
| Г11. | Галье, Жан (2011), Дискретная математика , Universitext, Нью-Йорк: Springer-Verlag, номер документа : 10.1007/978-1-4419-8047-2 , ISBN 978-1-4419-8046-5 , МР 2777371 . [ 9 ]
|
| GX13. | Галье, Жан; Сюй, Дайанна (2013), Руководство по теореме классификации компактных поверхностей , геометрия и вычисления, том. 9, Гейдельберг: Springer, номер документа : 10.1007/978-3-642-34364-3 , ISBN. 978-3-642-34363-6 . [ 10 ] [ 11 ]
|
Ссылки
[ редактировать ]- ^ Перейти обратно: а б с Биографические данные , получено 26 марта 2017 г.
- ^ Жан Галье в проекте «Математическая генеалогия»
- ^ Дектер, Рина (2003), Обработка ограничений , Серия Моргана Кауфмана по искусственному интеллекту, Сан-Франциско, Калифорния: Морган Кауфманн, стр. 307, ISBN 9781558608900 .
- ^ Пфеннинг, Франк (1989), «Обзор: Жан Х. Галье, Логика для информатики. Основы автоматического доказательства теорем » (PDF) , Journal of Символическая логика , 54 (1): 288–289, doi : 10.2307/2275035 , JSTOR 2275035 , S2CID 117298919 .
- ^ Каллай, Майкл (2001), Обзор кривых и поверхностей в геометрическом моделировании , MR 1823812 .
- ^ Юттлер, Берт (2001), Обзор геометрических методов и приложений , MR 1792535 . Обновлено для 2-го изд., 2012 г., MR. 2663906 .
- ^ Уильямс, Хью (ноябрь 2002 г.), «Геометрические методы и приложения для информатики и техники», The Mathematical Gazette , 86 (507): 564, doi : 10.2307/3621198 , JSTOR 3621198 .
- ^ Хуначек, Марк (2011), Обзор геометрических методов и приложений , Математическая ассоциация Америки .
- ^ Пинтер, Габриэлла (2012), Обзор дискретной математики , Математическая ассоциация Америки .
- ^ Лё, Клара, Обзор руководства по теореме классификации компактных поверхностей , MR 3026641 .
- ^ Вуд, Билл (2014), Обзор руководства к теореме классификации компактных поверхностей , Математическая ассоциация Америки .
Внешние ссылки
[ редактировать ]- Домашняя страница
- Публикации Жана Галье , индексируемые Google Scholar
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- Живые люди
- Американские ученые-компьютерщики
- Французские ученые-компьютерщики
- Американские математики XX века
- Американские математики XXI века
- Французские математики
- Математические логики
- Исследователи геометрических алгоритмов
- Теоретики-компьютерщики
- Выпускники École des Ponts ParisTech
- Выпускники Калифорнийского университета в Лос-Анджелесе
- Преподаватель Пенсильванского университета
- Математики Пенсильванского университета
- 1949 рождений
- Факультет компьютерных и информационных наук Пенсильванского университета