Joseph sifakis

Joseph sifakis Kép az Infoboxban. Joseph Sifakis 2008-ban. Funkció
A CNRS kutatási igazgatója
Életrajz
Születés 1946. december 26
Heraklion
Név anyanyelven Ιωσήφ Σηφάκης
Nemzetiségek Francia
görög
Kiképzés Athéni Nemzeti Műszaki Egyetem
Tevékenységek Számítástechnikus , mérnök
Egyéb információk
Dolgozott valakinek Nemzeti Tudományos Kutatóközpont , Svájci Szövetségi Technológiai Intézet, Lausanne
Terület Számítástechnika
Tagja valaminek Tudományos Akadémia
Amerikai Egyesült Államok Nemzeti Műszaki
Akadémia Amerikai Művészeti Akadémia és Tudományos
Akadémia
Academia Europaea (2008)
Felügyelő Louis Bolliet ( d )
Weboldal www-verimag.imag.fr/~sifakis
Díjak Turing-díj (2007)

Joseph Sifakis (modern görögül: Ιωσήφ Σηφάκης, Iosif Sifakis ) görög származású francia informatikus , született1946. december 26A Heraklion ( Kréta ) kutatási igazgatója CNRS és tagja a Tudományos Akadémia technológiák .

2007-ben ő volt az első francia díjazott, aki megkapta a Turing-díjat . Ez a Nobel-díjjal egyenértékűnek tekintett díj a legmagasabb különbség a számítástechnikában.

Kutatási munkája elsősorban a kritikus beágyazott rendszerekre (nukleáris és szállítási) összpontosít .

Életrajz

Joseph Sifakis villamosmérnök az athéni politechnikumtól , orvos-mérnök a Joseph-Fourier Egyetemen (USMG). 1970-ben Franciaországba érkezett, hogy elméleti fizika szakdolgozatát folytassa, de gyorsan érdeklődött a számítástechnika iránt. Számítástudományi doktorátust kapott az USMG-től és a Grenoble Polytechnic Institute-tól .

Kivételes osztálykutató igazgató a CNRS-ben és a Grenoble melletti Verimag laboratórium alapítója ( a CNRS, a Joseph-Fourier Egyetem és a Grenoble INP közös kutatási egysége ), ahol ma is dolgozik.

Díjak és elismerés

2007-ben megkapta a Turing-díjat , Edmund Clarke-val ( Carnegie Mellon Egyetem ) és Allen Emerson- nal ( Texasi Egyetem, Austin ) a felsorolás és a modellellenőrzés módszeréért . Ez a módszer a számítógépes rendszerek állapot- és átmeneti rendszerek szerinti leírásán, valamint az ezekben a rendszerekben elérhető állapotok elemzésén alapul, amelyet a gráf-bejárási algoritmusok ihlettek.

Alkalmazása lehetővé teszi annak ellenőrzését, hogy egy formális modell által képviselt rendszer megfelel-e az időbeli logikában megfogalmazott tulajdonságoknak. Ez a módszer különösen alkalmas a rendszer viselkedésének alapvető tulajdonságaira azáltal, hogy hivatalos igazolást nyújt a rendszer helyes működéséről (ellentétben a teszten alapuló ad hoc validációs módszerekkel ).

Ennek eredményeként a  modellellenőrzés   különösen alkalmas a biztonsági tulajdonságok biztosítására, ezért számos ipari alkalmazásra átültethető: chipek, kommunikációs protokollok, eszközillesztő szoftverek, kritikus fedélzeti rendszerek (például repülőgépekben, vonatokban stb. Rakétákban, műholdakban vagy cellákban) telefonok stb.) és biztonsági algoritmusok .

A címzettek 250 000 dolláros bónuszt osztanak meg.

A hibrid rendszerek tanulmányozásában is kitűnt .

Az 2001 -ben megkapta a CNRS ezüstérmet

2009-ben elnyerte az díszdoktora a Svájci Szövetségi Technológiai Intézet Lausanne , ahol ő lett egyetemi tanár, 2011-2016 közötti időszakban, irányítja a laboratórium szigorú rendszerek tervezése.

A Nemzeti Érdemrend nagytisztjének méltóságára emelték . Nevezték a rangot parancsnoka a becsületrend onA Nemzeti Érdemrend nagytisztje A Becsület Légiójának parancsnoka 2011. július 14.

Ipari transzfer

Joseph Sifakis aktívan dolgozott a kutatási eredmények ipari partnerek felé történő továbbításán. 2004 és 2011 között tudományos koordinátora volt az „ARTIST2 Embedded Systems Design” európai kiválósági hálózatnak, amely 35 európai csapat kutatását koordinálja annak érdekében, hogy elméleti és gyakorlati eredményeket hozzon létre a hatékony és robusztus beágyazott rendszerek tervezéséhez.

Megjegyzések és hivatkozások

  1. Evangelia Moussouri, "történeti áttekintése görög bevándorlás Grenoble" , az Identity  rések n o 95-96, ISSN 1252-6665, adatainak felhasználásával egy interjú Joseph Sifakis közzé Des Grecs, les Grecs de Grenoble , Musée Dauphinois, ( ISBN  2-905375-08-6 ) .
  2. Tudományos Akadémia: konferencia Joseph Sifakis a Tudományos Akadémia március 10-én 2009. beágyazott rendszerek .
  3. A logikai rendszerek időbeli modelljei, Grenoble-i Tudományos és Orvostudományi Egyetem, 1976, Jean Kuntzmann irányításával .
  4. Az aszinkron rendszerek vezérlése: koncepciók, tulajdonságok, statikus elemzés , USMG és INPG, 1979, Louis Bolliet irányításával.
  5. „  Joseph Sifakis - Honlap  ” , a www-verimag.imag.fr oldalon (elérhető : 2017. március 10. ) .
  6. (in) "  Joseph Sifakis professzor - AM Turing-díjas  " az amturing.acm.org oldalon (elérhető : 2017. március 10. ) .
  7. Gilles Dowek , Számítástechnika és digitális tudományok: ISN specialitás az S terminálban , Párizs, Eyrolles ,2013, 339  p. ( ISBN  978-2-212-13676-0 , online olvasás ).
  8. Jeanne Morcelet „  szellemében a rendszer  ”, Doki Sciences ,2012. március 16
  9. "  Joseph Sifakis, a CNRS kutatója megkapja a 2007. évi Turing-díjat  " , a cnrs.fr oldalon ,2008. február 4(megtekintve 2017. április 10-én ) .
  10. "  A Nobel-díj egy francia CNRS-kutató számításában  " , a www.zdnet.f oldalon ,2008. február 7.
  11. "  Joseph Sifakis | CNRS  ” , a www.cnrs.fr oldalon (hozzáférés : 2019. június 27. )
  12. (in) "  RISD | EPFL  ” , a risd.epfl.ch címen (hozzáférés : 2017. március 10. ) .
  13. 2008. május 16-i rendelet, amelyet a Francia Köztársaság Hivatalos Lapjában , 2008. május 17-én tettek közzé .
  14. 2011. július 13-i rendelet a kinevezésről ( online olvasható ).
  15. "  joseph-sifakis tag  " , http://www.academie-technologies.fr (hozzáférés : 2017. április 10. ) .

Külső linkek