François Fages - François Fages

François Fages
François Fages,
2008 yil may oyidagi ish haqi
Tug'ilgan (1959-08-23) 1959 yil 23-avgust (61 yosh)
Parij
MillatiFrantsuz
FuqarolikFrantsuz
Ma'lumFages teoremasi
Turmush o'rtoqlarColette Fages (1984 yil m.) 3 bola
MukofotlarMonpetit mukofoti
Ilmiy martaba
MaydonlarKompyuter fanlari
InstitutlarINRIA
Doktor doktoriJerar Xuet
Doktorantlar29

François Fages (1959 yil 23-avgust) a Frantsuz kompyutershunos sohalaridagi hissalari bilan tanilgan birlashish nazariyasi, qoidalarga asoslangan modellashtirish, mantiqiy dasturlash,[1] bir vaqtda cheklash mantiqiy dasturlash,[2][3] hisoblash biologiyasi va tizimlar biologiyasi.

Dastlabki hayot va ta'lim

Fajs Frantsiyaning Parij shahrida tug'ilgan. Matematika va Fizikani o'qigan Parij-Sud universiteti, Kompyuter fanlari Université Pierre and Marie Curie doktorlik dissertatsiyasini Université Pierre and Marie Curie nazorati ostida Jerar Xuet, 1983 yilda 23 yoshida.

Karyera

Fajs kichik ilmiy xodim lavozimini egalladi CNRS da Ecole Normale Supérieure va qo'shimcha ravishda o'qituvchiga aylandi Ekol politexnikasi 1985 yildan 1998 yilgacha va Tomson-CSF-da yarim kunlik maslahatchi (hozirda) Thales guruhi 1985 yildan 1996 yilgacha ilmiy-tadqiqot markazi. 1999 yildan buyon katta ilmiy xodim Institut National de recherche en informatique et en automatique (INRIA), Frantsiya milliy tadqiqot instituti Kompyuter fanlari va boshqaruv.[4]

U ichida tanilgan birlashish nazariyasi ba'zi tenglama nazariyalarida minimal birlashtiruvchi to'plamlar mavjud emasligini ko'rsatgani uchun (Plotkin gumoni, 1972),[5]va assotsiativ-komutativ birlashishning qarorliligi[6] bir nechta funktsional belgilar mavjud bo'lganda (Stickelning gumoni, 1981 y[7]).

Yilda qoidalarga asoslangan modellashtirish, u 1988 yilda Tomson-CSF (hozirgi Thalès guruhi) da reaktiv qoidalarga asoslangan tilni yaratgani bilan tanilgan bo'lib, keyinchalik sanoat tomonidan ishlab chiqilgan. ILOG (hozirda IBM-Ilog) va 1996 yilda ILOG-qoidalariga aylandi.

Fages teoremasida a mantiqiy dastur inkorlar bilan, lekin toq miqdordagi inkorlar orqali o'tkazgichlarsiz barqaror modellar dasturning Herbrand modellariga to'g'ri keladi Klark yakunlandi.Bu natija amalga oshirish uchun foydali ekanligini ko'rsatdi barqaror model semantikasi klassik bilan taklifga muvofiqlik hal qiluvchilar.[8]Yilda bir vaqtda cheklash mantiqiy dasturlash, u Pol Ruet va Silveyn Soliman bilan bir vaqtda cheklash dasturlarining mantiqiy semantikasini o'rnatdi. Jan-Iv Jirard "s chiziqli mantiq.Bu natija umumlashtirildi Cheklovlarni boshqarish qoidalari[9] va asenkronga Pi-hisob.[10]

2010 yilda Fages matematikadan lampalar va boshqa g'alati shakldagi mahsulotlarni qadoqlashni yaxshilash uchun foydalanish bo'yicha loyihani muvofiqlashtirdi.[11]

2014 yilda Fages ishlaydi hisoblash tizimlar biologiyasi, Biokimyoviy Abstrakt Mashinaning (BIOCHAM) qoidalarga asoslangan modellashtirish va mantiqiy tahlil dasturlarini ishlab chiqishni muvofiqlashtiradi va biokimyoviy jarayonlarni o'rganadi hujayra aylanishi va hujayra signalizatsiyasi.

2014 yilda u qabul qildi Monpetit mukofoti dan Frantsiya Fanlar akademiyasi.[12]

Adabiyotlar

  1. ^ Filipp Kodognet (2001 yil 14-noyabr). Mantiqiy dasturlash: 17-Xalqaro konferentsiya, ICLP 2001, Paphos, Kipr, 2001 yil 26-noyabr - 1-dekabr. Ish yuritish. Springer Science & Business Media. pp.242 –. ISBN  978-3-540-42935-7.
  2. ^ Frederik Benxamu; Narendra Jussien; Barri A.Sallivan (2007 yil 25-may). Cheklovlarni dasturlash tendentsiyalari. Vili. ISBN  978-1-905209-97-2.
  3. ^ Jon Mylopoulos; Rey Reyter (1991). Sun'iy intellekt bo'yicha ... Xalqaro qo'shma konferentsiya. Morgan Kaufmann. p. 378. ISBN  978-1-55860-160-4.
  4. ^ "Evropa Ittifoqi loyihasi qadoqdagi og'riqni yo'qotadi". KORDIS.
  5. ^ Plotkin, Gordon (1972). "Tenglama nazariyalari". Mashina intellekti. 7: 73–90.
  6. ^ Jan-Per Jouanna (1 oktyabr 1985). Qayta yozish texnikasi va qo'llanmalari: Dijon, Frantsiya, 1985 yil 20-22 may. Springer Berlin Heidelberg. ISBN  978-3-540-15976-6.
  7. ^ Stickel, Mark (1981). "Assotsiativ-komutativ funktsiyalar uchun birlashma algoritmi". J. Dots. Hisoblash. Mach. 28 (3): 423–434. doi:10.1145/322261.322262.
  8. ^ Erdem, Esra; Lifshitz, Vladimir; (2001) "Ichki ifodalangan dasturlar uchun Fages teoremasi". Proc. ICLP 2001 yil: 242-254, MIT Press.
  9. ^ Betz, Xariolf; Frühvirt, Thom (2005). "Cheklovlarni boshqarish qoidalari uchun chiziqli-mantiqiy semantika". Proc. Cheklovlarni dasturlash printsiplari va amaliyoti - CP 2005 yil: 137-151, Springer-Verlag.
  10. ^ Palamidessi, Katuscia; Sarasvat, Vijay; Valensiya, Frank (2006). "Asenkron Pi-Calculus-da qat'iylik va qat'iylikning ekspresivligi to'g'risida". Proc. Kompyuter fanidagi mantiq - LICS 2006:59-68.
  11. ^ "Matematika va tajribani aralashtirish". ACM aloqalari, 2010 yil 12 mart
  12. ^ "Chercheurs primés". Jamg'arma fanlari, 2015.

Tashqi havolalar