Direttore della ricerca al CNRS |
---|
Nascita |
26 dicembre 1946 Heraklion |
---|---|
Nome nella lingua madre | Ιωσήφ Σηφάκης |
Nazionalità |
Francese greco |
Formazione | Università Politecnica Nazionale di Atene |
Attività | Informatico , ingegnere |
Lavorato per | Centro nazionale per la ricerca scientifica , Istituto federale di tecnologia di Losanna |
---|---|
Campo | Informatica |
Membro di |
Accademia delle scienze Accademia nazionale di ingegneria degli Stati Uniti Accademia americana delle arti e delle scienze Accademia della tecnologia Academia Europaea (2008) |
Supervisore | Louis Bolliet ( d ) |
Sito web | www-verimag.imag.fr/~sifakis |
Premi |
Premio Turing (2007) |
Joseph Sifakis (in greco moderno: Ιωσήφ Σηφάκης, Iosif Sifakis ) è un informatico francese di origine greca, nato il26 dicembre 1946a Heraklion ( Creta ), direttore della ricerca al CNRS e membro dell'Accademia delle tecnologie .
Nel 2007 è stato il primo vincitore francese a ricevere il Premio Turing . Questo premio, considerato l'equivalente del Premio Nobel, è la più alta distinzione in informatica.
Il suo lavoro di ricerca si concentra principalmente sui sistemi embedded critici (nucleare e trasporti).
Joseph Sifakis è un ingegnere elettrico del Politecnico di Atene , dottore-ingegnere dell'Università Joseph-Fourier (USMG). Nel 1970, è arrivato in Francia per perseguire una tesi in fisica teorica, ma si è subito interessato all'informatica. È diventato un dottorato in informatica presso l'USMG e il Grenoble Polytechnic Institute .
È un direttore di ricerca di classe eccezionale al CNRS e fondatore del laboratorio Verimag vicino a Grenoble ( unità di ricerca congiunta del CNRS, dell'Università Joseph-Fourier e INP di Grenoble ), dove lavora ancora oggi.
Nel 2007, ha ricevuto il Turing Prize , insieme a Edmund Clarke ( Carnegie Mellon University ) e Allen Emerson ( University of Texas at Austin ) per il metodo di enumerazione e controllo dei modelli . Questo metodo si basa su una descrizione dei sistemi informatici per sistemi di stato e di transizione e su un'analisi degli stati accessibili in questi sistemi, che si ispira ad algoritmi di attraversamento del grafo.
La sua applicazione permette di verificare che un sistema rappresentato da un modello formale soddisfi le proprietà formulate in una logica temporale. Questo metodo è particolarmente adatto alle proprietà essenziali del comportamento del sistema fornendo la prova formale che un sistema è "corretto" (a differenza dei metodi di convalida ad hoc basati sul test).
Di conseguenza, il controllo del modello è particolarmente adatto per garantire proprietà di sicurezza e quindi trasponibile a molte applicazioni industriali: chip, protocolli di comunicazione, software driver di dispositivo, sistemi di bordo critici (ad esempio in aeroplani, treni, ecc. Razzi, satelliti o celle telefoni, ecc.) e algoritmi di sicurezza .
I destinatari condividono un bonus di $ 250.000.
Si è distinto anche nello studio dei sistemi ibridi .
Nel 2001 ha ricevuto la medaglia d'argento del CNRS
Nel 2009 gli è stato conferito un dottorato honoris causa dal Politecnico federale di Losanna , dove è diventato professore ordinario, nel periodo 2011-2016, dirigendo il Laboratorio per la progettazione rigorosa dei sistemi.
È stato elevato alla dignità di Grande Ufficiale dell'Ordine Nazionale al Merito . È stato nominato al grado di comandante della Legion d'Onore in data
14 luglio 2011.
Joseph Sifakis ha lavorato attivamente per il trasferimento dei risultati della ricerca a partner industriali. Dal 2004 al 2011 è stato il coordinatore scientifico della rete europea di eccellenza “ARTIST2 Embedded Systems Design” che coordina la ricerca di 35 team europei al fine di sviluppare risultati teorici e pratici per la progettazione di sistemi embedded efficienti e robusti.