Iosif Sifakis

Joseph Sifakis este un inginer electric de la Universitatea Tehnică Națională din Atena și deține un doctorat în Informatică de la Universitatea din Grenoble. Este directorul Centrului de Cercetare Integrativă din Grenoble și profesor la École Polytechnique Fédérale de Lausanne (EPFL). Este fondatorul laboratorului Verimag din Grenoble, recunoscut internațional în domeniul proiectării sistemelor critice. La începutul anilor 1990, a dezvoltat, în colaborare cu industria și în special cu Airbus, tehnologia fly-by-wire care a fost utilizată pentru prima dată în avioanele comerciale (Airbus A320) pentru controlul automat al zborului. Este unul dintre pionierii Model Checking, care este principala metodă industrială pentru verificarea sistemelor informatice astăzi, utilizată de companii precum Intel, Microsoft și Google. Pentru contribuțiile sale la teoria și aplicarea metodelor de verificare, a fost distins cu Premiul Turing în 2007, echivalentul Premiului Nobel în Informatică. În prezent, interesele sale se concentrează pe studiul metodelor de construire a sistemelor încorporate cu securitate și fidelitate ridicată. Este membru al Academiei Franceze de Științe, al Academiei Franceze de Tehnologii, al Academiei Europene și al Academiei Americane de Arte și Științe. În 2009, statul francez i-a acordat titlul de Mare Ofițer al Ordinului Național de Merit (Grand Officier de l’Ordre du Mérite) și titlul de Comandant al Legiunii de Onoare (Commandant de la Légion d’Honneur) în 2011. În 2009, a primit Premiul Fundației Parlamentului Elen pentru Parlamentarism și Democrație. În 2013, i-a fost acordat Ordinul Phoenix. În 2012, a primit Medalia Leonardo Da Vinci. Joseph Sifakis este Președintele Consiliului Național pentru Cercetare și Tehnologie.