[i]Mercredi 29 avril 2009 (19 à 21 h),
Notre-Votre Communauté hellénique de Paris et environs aura l'honneur de recevoir,
[center][b]le Pr Iossiph-Joseph Sifákis[/b],[/center]
qui, venant de Grenoble, répond amicalement à notre invitation,
( où il y est fondateur et directeur de recherche au CNRS du laboratoire Verimag),
[b][center]Salon de la Maison de la Grèce,
9, rue Mesnil, 66 15 016 Paris[/center][/b]
(Métro et parking : place Victor Hugo).
Il est diplômé de l'École polytechnique d'Athènes, et docteur en informatique de l'université de Grenoble.
Il est titulaire de la chaire industrielle Schneider-INRIA depuis le 1er IX 08. Verimag est l'un des premiers et meilleurs laboratoires de recherche pour les systèmes embarqués. Par ses conceptions, recherches et travaux, il a contribué au « model-checking », vérification la plus utilisée dans l'industrie p.ex. European Space Agency, France Telecom, ST Microelectronic...
Le Pr Siphakis est coordinateur du Réseau européen d'excellence, de 35 meilleures équipes européennes de recherche, avec pour partenaire Thalès, Airbus, Ericsson, Philips. Il est le directeur de l'institut grenoblois : « Logiciels et systèmes intelligents », et cofondateur de la Conférence internationale sur la Vérification assistée par ordinateur. Il siège au Comité directeur sur les Logiciels embarqués. Il est membre de l'Academia europea et de l'Académie des technologies.
En 2001, on lui attribua la Médaille d'argent du CNRS.
En 2007, il reçut le prix Turing 2007, avec les Américains E. Clarke et A. Emerson. Ce prix annuel, culminant et fameux, ou ACM Turing Award, (hommage à A. M. Turing, 1912 - 1954), est attribué depuis 1966, par l’Association for Computing Machinery pour les contributions techniques majeures et durables informatiques. Il est considéré comme l'équivalent du Nobel de l'informatique
J. Sifakis est Grand officier de l'Ordre national du Mérite.[/i]