Franciszka Fagesa

François Fages
François Fages, talk given at Collège de France, 23 May 2008.jpg
Fages w maju 2008 r
Urodzić się ( 23.08.1959 ) 23 sierpnia 1959 (wiek 63)
Paryż
Narodowość Francuski
Obywatelstwo Francuski
Znany z Twierdzenie Fagesa
Współmałżonek Colette Fages (m. 1984) 3 dzieci
Nagrody Nagroda Monpetita
Kariera naukowa
Pola Informatyka
Instytucje INRIA
Doradca doktorski Gerarda Hueta
Doktoranci 29

François Fages (ur. 23 sierpnia 1959) jest francuskim informatykiem znanym ze swojego wkładu w dziedzinie teorii unifikacji , modelowania opartego na regułach , programowania logicznego , programowania logiki współbieżnych ograniczeń , biologii obliczeniowej i biologii systemów .

Wczesne życie i edukacja

Fages urodził się w Paryżu we Francji. Studiował matematykę i fizykę na Université Paris-Sud , informatykę na Université Pierre et Marie Curie i otrzymał doktorat na Université Pierre et Marie Curie pod kierunkiem Gérarda Hueta w 1983 roku w wieku 23 lat.

Kariera

Fages objął stanowisko młodszego naukowca w CNRS w Ecole Normale Supérieure , a ponadto został nauczycielem w niepełnym wymiarze godzin w Ecole Polytechnique w latach 1985-1998 oraz konsultantem w niepełnym wymiarze godzin w centrum badawczym Thomson-CSF (obecnie Thales Group ) w latach 1985-1996 Od 1999 roku jest starszym pracownikiem naukowym w Institut National de recherche en informatique et en automatique (INRIA), francuskim narodowym instytucie badawczym zajmującym się informatyką i kontrolą .

teorii unifikacji jest znany z tego, że wykazał nieistnienie minimalnych zbiorów unifikatorów w niektórych teoriach równań (przypuszczenie Plotkina, 1972) oraz rozstrzygalność unifikacji asocjacyjno-przemiennej w obecności kilku symboli funkcyjnych (przypuszczenie Stickela, 1981 ).

W modelowaniu opartym na regułach znany jest z tego, że stworzył w 1988 reaktywny język oparty na regułach w Thomson-CSF (obecnie grupa Thalès), który został później uprzemysłowiony przez ILOG (obecnie IBM-Ilog) i stał się ILOG-Rules w 1996.

Twierdzenie Fagesa stwierdza, że ​​w programie logicznym z negacjami, ale bez obwodów przez nieparzystą liczbę negacji, stabilne modele programu pokrywają się z modelami Herbranda jego uzupełnienia Clarka . Wynik ten okazał się przydatny do implementacji stabilnej semantyki modelu z klasycznymi solwerami spełnialności zdań . We współbieżnym programowaniu w logice z ograniczeniami ustalił wraz z Paulem Ruetem i Sylvainem Solimanem semantykę logiczną współbieżnych programów z ograniczeniami w logice liniowej Jeana-Yvesa Girarda . Wynik ten został uogólniony do reguł obsługi ograniczeń i do asynchronicznego Pi-calculus .

W 2010 roku Fages koordynował projekt wykorzystania matematyki do ulepszenia pakowania żarówek i innych produktów o dziwnych kształtach.

W 2014 roku Fages zajmuje się biologią systemów obliczeniowych , koordynuje rozwój oprogramowania do modelowania opartego na regułach i analizy logicznej Biochemical Abstract Machine (BIOCHAM) oraz bada procesy biochemiczne w cyklu komórkowym i sygnalizacji komórkowej .

W 2014 roku otrzymał nagrodę Monpetit od Francuskiej Akademii Nauk .

Linki zewnętrzne

Pobrano z „ https://en.wikipedia.org/w/index.php?title=François_Fages&oldid=1139759172 ”