Жан Анри Галье (род. 1949) — исследователь вычислительной логики в Пенсильванском университете , где он занимает должности на факультете компьютерных и информационных наук и факультете математики.
Галье родился 5 января 1949 года в Нанси, Франция , и имеет двойное французское и американское гражданство. Он получил степень бакалавра в Севрском лицее в 1966 году и степень гражданского инженера в Национальной школе мостов и дорог в 1972 году . [1] Затем он переехал в Калифорнийский университет в Лос-Анджелесе для учебы в аспирантуре, получив Кандидат наук. в области компьютерных наук в 1978 году под совместным руководством Шейлы Грейбах и Эмили Перлински Фридман. Его диссертация называлась «Семантика и корректность классов детерминированных и недетерминированных рекурсивных программ» . [1] [2] После получения докторской степени в Калифорнийском университете в Санта-Барбаре в 1978 году он поступил на факультет компьютерных и информационных наук Пенсильванского университета. факультет математики в 1994 году и руководил Французским институтом культуры и технологий с 2001 по 2004 год. [1]
Наиболее часто цитируемая исследовательская работа Галлиера, написанная совместно с его учеником Уильямом Ф. Даулингом, предлагает алгоритм линейного времени для выполнимости по Хорну . [DG84] Это вариант булевой проблемы выполнимости : входными данными является булева формула в конъюнктивной нормальной форме с не более чем одним положительным литералом на каждое предложение, а цель состоит в том, чтобы присвоить значения истинности переменным формулы, чтобы получить целое число. формула верная. Решение проблем выполнимости по Хорну является центральной вычислительной парадигмой языка программирования Пролог . [3]
Галье также является автором пяти книг по вычислительной логике, [G86] вычислительной геометрии , [G99] [G00] низкоразмерной топологии , [GX13] и дискретной математике . [G11]