• Photos from Greece

    Events of Press Office

    Click to go to Events of Press Offce site

  • Advertisements

Greeks on the World: Pioneering Research

(GREEK NEWS AGENDA)   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. Joseph Sifakis is recognized for his pioneering work on both theoretical and practical aspects of Concurrent Systems Specification and Verification. He contributed to emergence of the area of model-checking, currently the most widely-used method for the verification of industrial applications. 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. Secretariat General of Information, Global Greeks: Scholars and Scientists