Joseph Sifakis
JosephSifakisisEmeritusSeniorCNRSResearcheratVerimag.Hiscurrentresearchinterestscoverfundamentalandappliedaspectsofembeddedsystemsdesign.Themainfocusofhisworkisontheformalizationofsystemdesignasaprocessleadingfromgivenrequirementstotrustworthy,optimizedandcorrect-by-constructionimplementations.JosephSifakishasbeenafullprofessoratEcolePolytechniqueFédéraledeLausanne(EPFL)fortheperiod2011-2016.HeisthefounderoftheVerimaglaboratoryinGrenoble,whichhedirectedfor13years.Verimagisaleadingresearchlaboratoryintheareaofembeddedsystems,internationallyknownforthedevelopmentoftheLustresynchronouslanguageusedbytheSCADEtoolforthedesignofsafety-criticalavionicsandspaceapplications.In2007,JosephSifakishasreceivedtheTuringAwardforhiscontributiontothetheoryandapplicationofmodelchecking,themostwidelyusedsystemverificationtechniquetoday.JosephSifakishashadnumerousadministrativeandmanagerialresponsibilitiesbothatFrenchandEuropeanlevel.HehasactivelyworkedtoreinvigorateEuropeanresearchinembeddedsystemsasthesci