Joseph Sifakis, Directeur de recherche CNRS, Prix Turing 2007, recevra le 29 février prochain les insignes de Commandeur de la Légion d’honneur au sein du laboratoire Verimag

The Verimag Laboratory is one of the leading laboratories for research in critical onboard systems. The theoretical and technological bases of the tool SCADE, used by the Airbus Consortium to design and validate critical real-time flight control systems, were prepared by Verimag. This tool has become a bench-mark in the aeronautical sector. Verimag has long-standing strategic relations with ST Microelectronics, France Telecom R&D and Airbus Consortium; these forms of collaboration have enabled numerous validation and testing protocols.

Joseph SIFAKIS has received international recognition for his innovative theoretical and lab. work relating to specifications of competing models and their process assessment; thus, he contributed to what is called Model-checking which has become the most commonly used assessment method for industrial applications. His current research thrust is in component assembly design, modelling and real-time analysis with stress on obtaining ‘correct techniques’ by construction.

. This network comprises 35 of the best European research teams whose aim is to attain the highest possible standards in design work for reliable onboard systems, at acceptable cost levels. The network will promote new procedures to check the safety levels of the systems thanks to collaboration with key industrial partners such as Thalès, Airbus, Ericsson, Philips and ST Microelectronics.

Joseph SIFAKIS is a member of the Editorial Committee of numerous publications, co-founder of the International Conference on computer aided validation (CAV) and memebr of the executive committeee of EMSOFT (Conference on embedded software). He is a member of Academia Europea, of the <st1:PlaceName w:st="on">French</st1:PlaceName> <st1:PlaceType w:st="on">Academy</st1:PlaceType> of sciences and fellow of the <st1:place w:st="on"><st1:PlaceName w:st="on">National</st1:PlaceName> <st1:PlaceType w:st="on">Academy</st1:PlaceType></st1:place> of technologies of France (NATF). He is also Director of the centre for Integrative Research at Grenobles.

Joseph SIFAKIS was co-laureate, with Ed CLARKE and Allen EMERSON for teir contribution to Model Checking.

Among his distinctions Joseph SIFAKIS was raised to the rank of Grand Officier of the Ordre National du Mérite, and on february 20, 2012 was raised to the rank of Commandeur in the Légion d’honneur.

(source: Communiqué of UJF)

Initiates file downloadTélécharger le communiqué de presse

Cf. (CV). Joseph SIFAKIS has considerable industrial experience, notably via joint projects with partners such as Astrium, ESA (European Space Agency), France Telecom and ST Microelectronics. In recent years, he has been engaged in consulting work. He is the scientific coordinator of the European Excellence Network on onboard, embedded systems ARTIST2. Cf. the Prix Turing 2007. He was also awarded the Silver Medal of the CNRS, in 2001 ; he is la médaille d’Argent du CNRS en 2001. He is Doctor Honoris Causa of the Ecole Polytechnique Fédérale de Lausanne (EPFL), of the Univerity of Athens, and of the International HellenicUniversity. He is Professor emeritus of the University of Patras