Франсуа Фаж - François Fages

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

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

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

Фаж родился в Париже, Франция. Он изучал математику и физику в Université Paris-Sud, Компьютерные науки в Université Pierre et Marie Curie и получил докторскую степень в Université Pierre et Marie Curie под присмотром Жерар Юэ в 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 group), который позже был индустриализирован ILOG (ныне IBM-Ilog) и в 1996 году стал ILOG-Rules.

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

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

В 2014 году Fages работает в вычислительный системная биология, координирует разработку программного обеспечения для моделирования и логического анализа на основе правил 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. ^ «Проект ЕС избавляет от лишних хлопот». КОРДИС.
  5. ^ Плоткин, Гордон (1972). «Встраивание эквациональных теорий». Машинный интеллект. 7: 73–90.
  6. ^ Жан-Пьер Жуанно (1 октября 1985 г.). Методы и приложения перезаписи: Дижон, Франция, 20-22 мая 1985 г.. Springer Berlin Heidelberg. ISBN  978-3-540-15976-6.
  7. ^ Стикель, Марк (1981). «Алгоритм объединения ассоциативно-коммутативных функций». J. Assoc. Comput. Мах. 28 (3): 423–434. Дои:10.1145/322261.322262.
  8. ^ Эрдем, Эсра; Лифшиц, Владимир; (2001) "Теорема Фагеса для программ с вложенными выражениями". Proc. ICLP 2001: 242-254, MIT Press.
  9. ^ Бец, Хариольф; Фрювирт, Том (2005). «Линейно-логическая семантика для правил обработки ограничений». Proc. Принципы и практика программирования в ограничениях - CP 2005: 137-151, Springer-Verlag.
  10. ^ Паламидесси, Катуша; Сарасват, Виджай; Валенсия, Франк (2006). «О выразительности линейности и стойкости в асинхронном исчислении числа пи». Proc. Логика в информатике - LICS 2006:59-68.
  11. ^ "Сочетание математики и опыта". Коммуникации ACM, 12 марта 2010 г.
  12. ^ "Chercheurs primés". Фундамент науки, 2015.

внешняя ссылка