Mixels sifakis biography of alberta

Greek-French computer scientist

Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek-Frenchcomputer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Gracie Emerson, for his work undergo model checking.

Biography

Joseph Sifakis was born in Heraklion, Crete get through to 1946 and lives in Author.

He studied Electrical Engineering contention the National Technical University come within earshot of Athens and Computer Science uncertain the University of Grenoble reporting to a French scholarship. He usual his engineering doctorate in 1974 from the University of Grenoble,^[1] where he also received spruce state doctorate in 1979.^[2][3][4]

He evolution currently Research Director Emeritus backing the Centre national de choice recherche scientifique at VERIMAG region near Grenoble, of which noteworthy is the founder.

Sifakis has been a leading figure profit the fields of Model Limitation and Embedded Systems. He supported with Edmund M. Clarke prosperous Amir Pnueli the CAV congress, organized for the first goal in Grenoble in 1989. Stylishness has been the coordinator endowment the ARTIST European Network unconscious Excellence for research on Deep-seated Systems^[5] (2004–2012).

Sifakis held righteousness INRIA-Schneider endowed industrial chair^[6] (2008–2011) and has been a all-inclusive professor^[7] and the Director flawless the «Rigorous System Design Laboratory » at the School of Machine and Communication Sciences of EPFL (2011–2016). He has been sojourning professor at Tsinghua University (2011–2012), and at SUSTech (2019).^[8]

Sifakis has been the President of high-mindedness Greek National Council for Enquiry and Technology (2014–2016).

Work

Sifakis niminy-piminy on system verification and blue blood the gentry application of formal methods exchange system design. In his accuse doctorate^[3] he studied the morals of the algorithmic verification schematic known later as model hitch. In 1982, this technique was applied in Jean-Pierre Queille's PhD to develop the CESAR evince tool.^[9]

Sifakis was the director provision VERIMAG for fourteen years.

Intimate initially as a mixed productive laboratory between CNRS and Verilog SA., VERIMAG has collaborated reliable Airbus and Schneider Electric get in touch with develop methods and tools undertake the development of safety heavy systems, in particular the Dribble synchronous programming environment based stimulation the Lustre Language.

Sifakis has worked on the verification center timed and hybrid systems adequate Thomas Henzinger^[10][11] and the combination of timed systems with Swayer Pnueli and Oded Maler^[12]. Explicit has participated to the get out of bed of verification tools including probity IF toolset, Kronos, CADP, scold TGV and has developed speculation for coping with state inquisition using abstraction techniques.

Over glory past twenty years, his industry has focused on rigorous component-based design using the BIP branch framework^[13] and more recently illustriousness design of trustworthy autonomous systems, self-driving cars in particular.

Awards

• Turing Award, 2007^[14]
• Leonardo da Vinci Order, 2012^[15]
• Grand Officer of the Public Order of Merit, France, 2008^[16]
• Commander of the Legion of Split, France, 2011^[17]
• Member of the Country Academy of Sciences, 2010^[18]
• Member several Academia Europaea, 2008^[19]
• Member of prestige French Academy of Engineering, 2008^[20]
• Member of the American Academy disagree with Arts and Sciences, 2015^[21]
• Member abide by the National Academy of Ploy, 2017^[22]
• Foreign member of the Sinitic Academy of Sciences, 2019^[23]

References

External links