François Fages - François Fages

François Fages
François Fages, přednáška na Collège de France, 23. května 2008.jpg
Fages v květnu 2008
narozený (1959-08-23) 23. srpna 1959 (věk 61)
Paříž
Národnostfrancouzština
Státní občanstvífrancouzština
Známý jakoVěta o fages
Manžel (y)Colette Fages (m. 1984) 3 děti
OceněníMonpetitova cena
Vědecká kariéra
PolePočítačová věda
InstituceINRIA
Doktorský poradceGérard Huet
Doktorandi29

François Fages (23. srpna 1959) je a francouzština počítačový vědec známé příspěvky v oblastech teorie sjednocení, modelování založené na pravidlech, logické programování,[1] souběžné logické programování omezení,[2][3] výpočetní biologie a biologie systémů.

raný život a vzdělávání

Fages se narodil v Paříži ve Francii. Vystudoval matematiku a fyziku na Université Paris-Sud, Počítačová věda na Université Pierre et Marie Curie a získal doktorát z Université Pierre et Marie Curie pod dohledem Gérard Huet, v roce 1983 ve věku 23.

Kariéra

Fages zaujal pozici juniorského výzkumného pracovníka CNRS na Ecole Normale Supérieure, a stal se navíc učitelem na částečný úvazek v Ecole Polytechnique od roku 1985 do roku 1998 a konzultant na částečný úvazek ve společnosti Thomson-CSF (nyní Skupina Thales ) výzkumné středisko od roku 1985 do roku 1996. Od roku 1999 je výzkumným pracovníkem v Institucionální národní odborný časopis informativní a automatický (INRIA), francouzský národní výzkumný ústav dne počítačová věda a řízení.[4]

On je známý v teorie sjednocení za to, že v některých rovnicových teoriích prokázal neexistenci minimálních množin unifikátorů (domněnka o Plotkinovi, 1972),[5]a rozhodnutelnost asociativně-komutativního sjednocení[6] v přítomnosti několika funkčních symbolů (dohad o Stickelovi, 1981[7]).

v modelování založené na pravidlech je známý tím, že v roce 1988 vytvořil v Thomson-CSF (nyní skupina Thalès) reaktivní jazyk založený na pravidlech, který později industrializoval ILOG (nyní IBM-Ilog) a stal se ILOG-Rules v roce 1996.

Věta Fages uvádí, že v a logický program s negacemi, ale bez obvodů přes lichý počet negací, stabilní modely programu se shoduje s Herbrandovými modely jeho Clarkovo dokončení.Tento výsledek se ukázal jako užitečný pro implementaci stabilní sémantika modelu s klasickým výroková uspokojivost řešitelé.[8]v souběžné logické programování omezení, založil s Paulem Ruetem a Sylvainem Solimanem logickou sémantiku souběžných omezovacích programů v Jean-Yves Girard je lineární logika.Tento výsledek byl zobecněn na Pravidla zpracování omezení[9] a na asynchronní Pi-počet.[10]

V roce 2010 koordinoval Fages projekt využití matematiky ke zlepšení balení žárovek a dalších neobvykle tvarovaných výrobků.[11]

V roce 2014 Fages pracuje v výpočetní biologie systémů koordinuje vývoj softwaru pro modelování a logickou analýzu založeného na pravidlech pro biochemické abstraktní stroje (BIOCHAM) a studuje biochemické procesy v buněčný cyklus a v buněčná signalizace.

V roce 2014 obdržel Monpetitova cena z Francouzská akademie věd.[12]

Reference

  1. ^ Philippe Codognet (14. listopadu 2001). Logické programování: 17. mezinárodní konference, ICLP 2001, Paphos, Kypr, 26. listopadu - 1. prosince 2001. Sborník. Springer Science & Business Media. str.242 –. ISBN  978-3-540-42935-7.
  2. ^ Frédéric Benhamou; Narendra Jussien; Barry A. O'Sullivan (25. května 2007). Trendy v programování omezení. Wiley. ISBN  978-1-905209-97-2.
  3. ^ John Mylopoulos; Ray Reiter (1991). Advance Papers of the ... International Joint Conference on Artificial Intelligence. Morgan Kaufmann. p. 378. ISBN  978-1-55860-160-4.
  4. ^ „Projekt EU bere z balení bolest“. CORDIS.
  5. ^ Plotkin, Gordon (1972). "Zabudování rovnicových teorií". Inteligence strojů. 7: 73–90.
  6. ^ Jean-Pierre Jouannaud (1. října 1985). Techniky a aplikace přepisování: Dijon, Francie, 20. - 22. května 1985. Springer Berlin Heidelberg. ISBN  978-3-540-15976-6.
  7. ^ Stickel, Mark (1981). "Algoritmus sjednocení pro asociativně-komutativní funkce". J. Doc. Comput. Mach. 28 (3): 423–434. doi:10.1145/322261.322262.
  8. ^ Erdem, Esra; Lifschitz, Vladimir; (2001) „Fagesova věta pro programy s vnořenými výrazy“. Proc. ICLP 2001: 242-254, MIT Press.
  9. ^ Betz, Hariolf; Frühwirth, Thom (2005). „Sémantika lineární logiky pro pravidla zpracování omezení“. Proc. Zásady a praxe programování omezení - CP 2005: 137-151, Springer-Verlag.
  10. ^ Palamidessi, Catuscia; Saraswat, Vijay; Valencia, Franck (2006). „O expresivitě linearity vs. vytrvalosti v asychronním Pi-kalkulu“. Proc. Logika v informatice - LICS 2006:59-68.
  11. ^ „Míchání matematiky a odborných znalostí“. Komunikace ACM, 12. března 2010
  12. ^ „Chercheurs primés“. Vědy o založení, 2015.

externí odkazy