A CNRS kutatási igazgatója |
---|
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 |
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 .
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.
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 on 2011. július 14.
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.