���
04
2008
Joseph Sifakis awarded by French President Sarkozy |
Γράφει ο/η Θεόφιλος Δουμάνης | |
03.10.08 | |
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. The award is considered similar to
the Nobel Prize in information technology. 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.
Set as favorite
Email This
Σχόλια
(0)
Πρέπει να συνδεθείτε για να στείλετε ένα σχόλιο. Παρακαλώ καταχωρήστε λογαριασμό εάν δεν έχετε έναν.
|
Επόμ. > |
---|