Paris, France

NEWS

Speaker’s presentations are now availaible

The speaker's presentations we had (...)
[+] Read

CSDM 2015 Photo Gallery

Kindly find below the CSDM PARIS (...)
[+] Read

Smart Cities: the recurrent theme of CSDM PARIS 2015

For its 6th edition, CSDM PARIS (...)
[+] Read

Joseph Sifakis

         

Joseph Sifakis

Joseph Sifakis is Emeritus Senior Researcher at CNRS, full professor at Ecole Polytechnique Fédérale de Lausanne (EPFL) and the director of “Centre de la Recherche Intégrative” (CRI) in Grenoble. His current research interests cover fundamental and applied aspects of embedded systems design. The main focus of his work is on the formalization of system design as a process leading from given requirements to trustworthy, optimized and correct-by-construction implementations.

Joseph Sifakis is the founder of the Verimag laboratory in Grenoble, which he directed for 13 years. Verimag is a leading research laboratory in the area of embedded systems, internationally known for the development of the Lustre synchronous language used by the SCADE tool for the design of safety-critical avionics and space applications.

In 2007, Joseph Sifakis has received the Turing Award for his contribution to the theory and application of model checking, the most widely used system verification technique today.

Joseph Sifakis has had numerous administrative and managerial responsibilities both at French and European level. He has actively worked to organize the European research community in embedded systems as the scientific coordinator of the « ARTIST » European Networks of Excellence, for ten years. He has participated in many major industrial projects led by companies such as Airbus, EADS, France Telecom, Astrium, and STMicroelectronics.

Joseph Sifakis is a member of the French Academy of Sciences, a member of the French National Academy of Engineering and a member of Academia Europea. He is a Grand Officer of the French National Order of Merit, a Commander of the French Legion of Honor. He has received the Leonardo da Vinci Medal in 2012.

http://www.economie.gouv.fr/ https://www.polytechnique.edu/en
http://www.cesames.net/en/ http://www.dassault-aviation.com/en/dassault-aviation/
http://en.dcnsgroup.com/ http://www.defense.gouv.fr/english/portail-defense
http://www.thalesgroup.com/ http://researchers.edf.com/edf-researchers-209799.html
http://www.digiteo.fr/ http://www.ellidiss.fr
http://www.nomagic.com/mbse/ https://www.ensta-paristech.fr/en
http://www.systematic-paris-region.org/en http://www.faurecia.com/en
http://www-list.cea.fr/en http://www.3ds.com/
http://www.esterel-technologies.com/ http://obeo.fr/?&lang=en
http://www.mathworks.com http://incose.org/
http://www.k-inside.com/web/ http://www.ptc.com/solutions/systems-engineering/
http://www.afis.fr/ http://www.pragmadev.com/
http://www.mega.com/en http://www.telecom-paristech.fr/eng/training-innovating-in-a-digital-world.html
http://www.thecosmocompany.com/ http://www.irt-systemx.fr/?lang=en
http://www.squoring.com/en http://www.ppi-int.com/
http://www.ieeefrance.org/ http://ieee-aess.org/
https://www.see.asso.fr/ http://www.ibm.com/big-data/us/en/big-data-and-analytics/
http://www.airbus.com/