Joseph Sifakis () és un informàtic francès nascut a Grècia,Aperçu historique de l'immigration grecque à Grenoble , Evangélia Moussouri, a Écarts d'identités n⁰95-96, ISSN 1252-6665, reproduint informació d'una entrevista a Joseph Sifakis a Des grecs, les grecs de Grenoble, Musée Dauphinois, que va guanyar el premi Turing de 2007, conjuntament amb Edmund M. Clarke i E. Allen Emerson, per la seva feina en verificació de models.
Va néixer a Càndia, Creta el 1946(Eleftherotypia - 05 Feb 2008) Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής i va estudiar Enginyeria Elèctrica a la Universitat Politècnica Nacional d'Atenes i Informàtica a la Universitat de Grenoble amb una beca francesa.(Kathimerini - 04 Feb 2008) Το βραβείο Turing 2007 σε Έλληνα ερευνητή Es va doctorar el 1974 a la Universitat de Grenoble,Modèles temporels des systèmes logiques ("Models temporals de sistemes lògics"), Université scientifique et médicale de Grenoble, 1976, supervisat per Jean Kuntzmann on també va rebre un doctorat d'estat el 1979.Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique ("Control de sistemes asíncrons: conceptes, propietats, anàlisi estàtica"), USMG and INPG, 1979 supervisat per Louis BollietQuan Joseph Sifakis era estudiant de doctorat, a França hi havia dos nivells de doctorat, i el superior, o doctorat d'état ("doctorat d'estat") era requisit per al professorat. Ara ha quedat substituït per l'habilitació.Hi havia dues universitats científiques a Grenoble: la Université scientifique et médicale de Grenoble (USMG, Grenoble-1), que després va canviar de nom a Universitat Joseph Fourier, i l'Institut de Tecnologia de Grenoble (INPG), que després va canviar de nom a Grenoble-INP. VERIMAG és un laboratori conjunt entre el CNRS, la Universitat Joseph Fourier i Grenoble-INP.
El 2009 va rebre un doctorat honoris causa de l'Escola Politècnica Federal de Lausana, a Suïssa, on el 2011 va ser nomenat professor titularNews at EPFL (de l'Escola de Ciència Informàtica i de Comunicacions).
Sifakis viu a França, d'on va obtenir-ne la ciutadania el 1976 i treballa al CNRS al laboratori VERIMAG, a prop de Grenoble, del qual és fundador.Web del CNRS - Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007
També és coordinador d'Artist2, la xarxa europea d'excel·lència en la recerca en sistemes incrustats.ARTIST2 NoE - Strategic Management Board — Artist2 NoE
És gran oficial de l'Orde Nacional del Mèrit francesaDecret del 16 de maig de 2008 publicat in the Journal officiel de la République Française del 17 de maig de 2008. i comandant de la Legió d'Honor.Decret del 13 de juliol de 2011 publicat al Journal officiel de la République Française del 14 de juliol de 2008.]
Referències
Enllaços externs
Pàgina personal Anunci del Premi Turing
Categoria:Premiats amb el Premi Turing Categoria:Informàtics francesos Categoria:Doctors honoris causa per l'École polytechnique fédérale de Lausanne Categoria:Alumnes de la Universitat Politècnica Nacional d'Atenes Categoria:Comandants de la Legió d'Honor Categoria:Persones de Càndia Categoria:Científics grecs Categoria:Científics francesos Categoria:Alumnes de l'Université Grenoble-Alpes Categoria:Nascuts el 1946