Франсуа Фаж
Франсуа Фаж
Фагес в мае 2008 г.
Рожденный( 1959-08-23 )23 августа 1959 г. (65 лет)
Париж
НациональностьФранцузский
ГражданствоФранцузский
ИзвестныйТеорема Фейгеса
СупругКолетт Фейджс (м. 1984) 3 детей
НаградыПремия Монпети
Научная карьера
ПоляИнформатика
УчрежденияИНРИЯ
научный руководительЖерар Юэ
Докторанты29

Франсуа Фажес (23 августа 1959 г.) — французский учёный-компьютерщик, известный своими вкладами в области теории унификации , моделирования на основе правил , логического программирования , [1] параллельного программирования с ограничениями , [2] [3] вычислительной биологии и системной биологии .

Ранняя жизнь и образование

Фагес родился в Париже, Франция. Он изучал математику и физику в Университете Париж-Юг , информатику в Университете Пьера и Марии Кюри и получил докторскую степень в Университете Пьера и Марии Кюри под руководством Жерара Юэ в 1983 году в возрасте 23 лет.

Карьера

Фагес занял должность младшего научного сотрудника в CNRS в Ecole Normale Supérieure , а также стал внештатным преподавателем в Ecole Polytechnique с 1985 по 1998 год и внештатным консультантом в исследовательском центре Thomson-CSF (теперь Thales Group ) с 1985 по 1996 год. С 1999 года он является старшим научным сотрудником в Institut national de recherche en informatique et en automatique (INRIA), французском национальном исследовательском институте по информатике и управлению . [4]

Он известен в теории объединения тем, что показал несуществование минимальных множеств унификаторов в некоторых эквациональных теориях (гипотеза Плоткина, 1972) [5] и разрешимость ассоциативно-коммутативного объединения [6] при наличии нескольких функциональных символов (гипотеза Штикеля, 1981 [7] ).

В области моделирования на основе правил он известен тем, что в 1988 году создал реактивный язык программирования на основе правил в Thomson-CSF (теперь группа Thalès), который впоследствии был внедрен в промышленность компанией ILOG (теперь IBM-Ilog) и в 1996 году стал называться ILOG-Rules.

Теорема Фагеса утверждает, что в логической программе с отрицаниями, но без схем через нечетное число отрицаний, стабильные модели программы совпадают с моделями Эрбрана ее завершения Кларка . Этот результат оказался полезным для реализации стабильной семантики модели с классическими решателями пропозициональной выполнимости . [8] В программировании параллельных ограничений он установил совместно с Полом Рюэ и Сильвеном Солиманом логическую семантику параллельных ограничений программ в линейной логике Жана-Ива Жирара . Этот результат был обобщен на правила обработки ограничений [9] и на асинхронное исчисление Пи . [10]

В 2010 году Фагес координировал проект по использованию математики для улучшения упаковки лампочек и других изделий необычной формы. [11]

В 2014 году Фагес работал в области вычислительной системной биологии , координировал разработку программного обеспечения для моделирования на основе правил и логического анализа Biochemical Abstract Machine (BIOCHAM), а также изучал биохимические процессы в клеточном цикле и клеточной сигнализации .

В 2014 году он получил премию Монпети от Французской академии наук . [12]

Ссылки

  1. ^ Филипп Кодогне (14 ноября 2001 г.). Логическое программирование: 17-я международная конференция ICLP 2001, Пафос, Кипр, 26 ноября - 1 декабря 2001 г. Труды. Springer Science & Business Media. стр. 242–. ISBN 978-3-540-42935-7.
  2. ^ Фредерик Бенаму; Нарендра Жюссен; Барри А. О'Салливан (25 мая 2007 г.). Тенденции в программировании с ограничениями. Уайли. ISBN 978-1-905209-97-2.
  3. ^ Джон Милопулос; Рэй Рейтер (1991). Предварительные доклады ... Международной объединенной конференции по искусственному интеллекту. Морган Кауфманн. стр. 378. ISBN 978-1-55860-160-4.
  4. ^ "Проект ЕС делает упаковку проще". CORDIS .
  5. ^ Плоткин, Гордон (1972). «Встраивание эквациональных теорий». Машинный интеллект . 7 : 73–90 .
  6. ↑ Жан-Пьер Жуанно (1 октября 1985 г.). Техники и приложения переписывания: Дижон, Франция, 20-22 мая 1985 г. Springer Berlin Heidelberg. ISBN 978-3-540-15976-6.
  7. ^ Stickel, Mark (1981). «Алгоритм унификации для ассоциативно-коммутативных функций». Журнал Ассоциации вычислительной техники . 28 (3): 423– 434. doi : 10.1145/322261.322262 . S2CID  8163326.
  8. ^ Эрдем, Эсра; Лифшиц, Владимир; (2001) «Теорема Фейджеса для программ с вложенными выражениями». Proc. ICLP 2001 :242-254, MIT Press.
  9. ^ Бетц, Хариольф; Фрювирт, Том (2005). «Линейно-логическая семантика для правил обработки ограничений». Proc. Принципы и практика программирования ограничений — CP 2005 :137-151, Springer-Verlag.
  10. ^ Паламидесси, Катуссия; Сарасват, Виджай; Валенсия, Франк (2006). «О выразительности линейности против персистентности в асинхронном пи-исчислении». Proc. Logic in Computer Science - LICS 2006 :59-68.
  11. ^ "Смешивание математики и экспертизы". Сообщения ACM , 12 марта 2010 г.
  12. ^ "Chercheurs primes". Архивировано 22 сентября 2015 г. в Wayback Machine . Фонд наук , 2015.
  • Домашняя страница Франсуа Фажа: http://lifeware.inria.fr/~fages
  • Веб-сайт BIOCHAM: http://lifeware.inria.fr/biocham
  • Франсуа Фаж на библиографическом сервере DBLP
  • Список публикаций из PubMed
  • «Презентация - БЫТОВАЯ ПРОДАЖА - Инрия». Inria.fr.
  • Франсуа Фагес в проекте «Генеалогия математики»
  • Отчет Google Scholar
Взято с "https://en.wikipedia.org/w/index.php?title=François_Fages&oldid=1200997331"