Forskningsdirektør hos CNRS |
---|
Fødsel |
26. december 1946 Heraklion |
---|---|
Navn på modersmål | Ιωσήφ Σηφάκης |
Nationaliteter |
Fransk græsk |
Uddannelse | Det Nationale Polytekniske Universitet i Athen |
Aktiviteter | Informatiker , ingeniør |
Arbejdede for | National Center for Scientific Research , Schweiziske føderale institut for teknologi Lausanne |
---|---|
Mark | Computer videnskab |
Medlem af |
Videnskabsakademi USA National Academy of Engineering American Academy of Arts and Sciences Academy of Technology Academia Europaea (2008) |
Tilsynsførende | Louis Bolliet ( d ) |
Internet side | www-verimag.imag.fr/~sifakis |
Priser |
Turing-prisen (2007) |
Joseph Sifakis (i moderne græsk: Ιωσήφ Σηφάκης, Iosif Sifakis ) er en fransk computer videnskabsmand af græsk oprindelse, født den26. december 1946i Heraklion ( Kreta ), forskningsdirektør hos CNRS og medlem af Academy of Technologies .
I 2007 var han den første franske vinder, der modtog Turing-prisen . Denne pris, der betragtes som ækvivalent med Nobelprisen, er den højeste skelnen inden for datalogi.
Hans forskningsarbejde fokuserer primært på kritiske indlejrede systemer (nuklear og transport).
Joseph Sifakis er en elektrisk ingeniør fra Polytechnic i Athen , læge-ingeniør fra Joseph-Fourier University (USMG). I 1970 ankom han til Frankrig for at forfølge en afhandling i teoretisk fysik, men blev hurtigt interesseret i datalogi. Han blev en doktorgrad i datalogi fra USMG og Grenoble Polytechnic Institute .
Han er en exceptionel klasseforskningsdirektør ved CNRS og grundlægger af Verimag- laboratoriet nær Grenoble ( fælles forskningsenhed for CNRS, Joseph-Fourier University og Grenoble INP ), hvor han stadig arbejder i dag.
I 2007 modtog han Turing-prisen sammen med Edmund Clarke ( Carnegie Mellon University ) og Allen Emerson ( University of Texas i Austin ) for metoden til optælling og modelkontrol . Denne metode er baseret på en beskrivelse af computersystemer efter tilstands- og overgangssystemer og på en analyse af de tilstande, der er tilgængelige i disse systemer, som er inspireret af grafgennemgangsalgoritmer.
Dens anvendelse gør det muligt at kontrollere, at et system repræsenteret af en formel model opfylder egenskaberne formuleret i en tidsmæssig logik. Denne metode er særligt velegnet til væsentlige egenskaber ved systemets opførsel ved at give formelt bevis for, at et system er "korrekt" (i modsætning til ad hoc- valideringsmetoder baseret på testen).
Som et resultat er modelkontrol særligt velegnet til at sikre sikkerhedsegenskaber og kan derfor transponeres til mange industrielle applikationer: chips, kommunikationsprotokoller, enhedsdriversoftware, kritiske indbyggede systemer (for eksempel i fly, tog osv. Raketter, satellitter eller celle telefoner osv.) og sikkerhedsalgoritmer .
Modtagerne deler en bonus på $ 250.000.
Han adskilte sig også i studiet af hybridsystemer .
I 2001 modtog han CNRS sølvmedalje
I 2009 blev han tildelt en æresdoktorgrad fra det schweiziske føderale institut for teknologi i Lausanne , hvor han blev fuld professor i perioden 2011–2016 og ledede laboratoriet for streng systemdesign.
Han blev hævet til værdighed som Grand Officer of the National Order of Merit . Han blev udnævnt til rang af Commander of the Legion of Honor den
14. juli 2011.
Joseph Sifakis har aktivt arbejdet for overførsel af forskningsresultater til industrielle partnere. Fra 2004 til 2011 var han den videnskabelige koordinator for det europæiske ekspertisenetværk "ARTIST2 Embedded Systems Design", der koordinerer forskningen i 35 europæiske teams for at udvikle teoretiske og praktiske resultater til design af effektive og robuste indlejrede systemer.