Joseph Sifakis, Ordre national du Merite
01 / 10 / 2008
France’s President Nicolas Sarkozy awarded French scientist Joseph Sifakis, laureate of the 2007 Turing Award, with the Grand Officier de l’Ordre national du Merite…
France’s President Nicolas Sarkozy awarded French scientist Joseph Sifakis, laureate of the 2007 Turing Award, with the Grand Officier de l’Ordre national du Merite medal, at a ceremony at the Elysee Palace in Paris on September 30. During the ceremony, President Sarkozy spoke about the great scientist’s significant contribution to the improvement of a contemporary person’s daily life.
Joseph Sifakis is a researcher at the Centre National de la Recherche Scientifique (CNRS) and the founder of Verimag laboratory (www-verimag.imag.fr), in Grenoble, France. He is recognized for his pioneering work on both theoretical and practical aspects of Concurrent Systems Specification and Verification. Sifakis, together with Edmund Clarke and Allen Emerson, won the 2007 A.M. Turing Award, widely considered the most prestigious award in computing, for their original and continuing research in a quality assurance process known as Model Checking.
01 / 10 / 2008 | |
An independent movement of free thinkers sharing the same dream: a better world inspired by the Hellenic ideals that gave birth to civilizations: Freedom, Direct Democracy, Humanism, Reason, Justice, and the Pursuit of Excellence.
