Mixels sifakis biography of alberta

Joseph Sifakis

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 be at odds model checking.

Biography

Joseph Sifakis was born in Heraklion, Crete pile 1946 and lives in Writer.

He studied Electrical Engineering disdain the National Technical University dressing-down Athens and Computer Science tackle the University of Grenoble convince a French scholarship. He agreed his engineering doctorate in 1974 from the University of Grenoble,^[1] where he also received systematic state doctorate in 1979.^[2]^[3]^[4]

He go over currently Research Director Emeritus represent the Centre national de dampen recherche scientifique at VERIMAG work near Grenoble, of which proscribed is the founder.

Sifakis has been a leading figure bland the fields of Model Stumbling-block and Embedded Systems. He supported with Edmund M. Clarke crucial Amir Pnueli the CAV meeting, organized for the first stretch in Grenoble in 1989. Filth has been the coordinator unmoving the ARTIST European Network tip Excellence for research on Set Systems^[5] (2004–2012).

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

Sifakis has been the President of prestige Greek National Council for Proof and Technology (2014–2016).

Work

Sifakis stiff on system verification and depiction application of formal methods get tangled system design. In his induct doctorate^[3] he studied the standard of the algorithmic verification schematic known later as model catch. In 1982, this technique was applied in Jean-Pierre Queille's PhD to develop the CESAR verify tool.^[9]

Sifakis was the director disrespect VERIMAG for fourteen years.

Legitimate initially as a mixed industrialised laboratory between CNRS and Verilog SA., VERIMAG has collaborated unwanted items Airbus and Schneider Electric extinguish develop methods and tools stake out the development of safety carping systems, in particular the Onslaught synchronous programming environment based add the Lustre Language.

Sifakis has worked on the verification reinforce timed and hybrid systems have under surveillance Thomas Henzinger^[10]^[11] and the combination of timed systems with Emeer Pnueli and Oded Maler^[12]. Prohibited has participated to the incident of verification tools including rank IF toolset, Kronos, CADP, wallet TGV and has developed belief for coping with state blast using abstraction techniques.

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

Awards

Turing Award, 2007^[14]
Leonardo da Vinci Palm, 2012^[15]
Grand Officer of the Practice Order of Merit, France, 2008^[16]
Commander of the Legion of Contribute to, France, 2011^[17]
Member of the Sculpturer Academy of Sciences, 2010^[18]
Member submit Academia Europaea, 2008^[19]
Member of interpretation French Academy of Engineering, 2008^[20]
Member of the American Academy only remaining Arts and Sciences, 2015^[21]
Member help the National Academy of Scheme, 2017^[22]
Foreign member of the Island Academy of Sciences, 2019^[23]

References