Joseph Sifakis

De Viquipèdia
Salta a: navegació, cerca
Infotaula de personaJoseph Sifakis
Joseph Sifakis mg 4603.jpg
Nom original Ιωσήφ Σηφάκης
Dades biogràfiques
Naixement 26 de desembre de 1946 (1946-12-26) (70 anys)
Càndia, Creta, Grècia
Nacionalitat Grec/francès
Alma mater Universitat Politècnica Nacional d'Atenes
Universitat de Grenoble
Es coneix per Desenvolupament de la verificació de models
Activitat professional
Camp de treball Informàtica
Ocupació Informàtica
Organització CNRS
Premis i reconeixements
Premi Turing (2007)

Lloc web Lloc web oficial
Modifica dades a Wikidata

Joseph Sifakis (en grec: Ιωσήφ Σηφάκης) és un informàtic francès nascut a Grècia,[1] 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[2] 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.[3] Es va doctorar el 1974 a la Universitat de Grenoble,[4] on també va rebre un doctorat d'estat el 1979.[5][6][7]

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 titular[8] (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[1] i treballa al CNRS al laboratori VERIMAG, a prop de Grenoble,[7] del qual n'és fundador.[2][9]

També és coordinador d'Artist2, la xarxa europea d'excel·lència en la recerca en sistemes incrustats.[10]

És gran oficial de l'Orde Nacional del Mèrit francesa[11] i comandant de la Legió d'Honor.[12]

Referències[modifica]

  1. 1,0 1,1 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, ISBN 2-905375-08-6
  2. 2,0 2,1 (Eleftherotypia - 05 Feb 2008) Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής (grec)
  3. (Kathimerini - 04 Feb 2008) Το βραβείο Turing 2007 σε Έλληνα ερευνητή (grec)
  4. 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
  5. 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 Bolliet
  6. Quan 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ó.
  7. 7,0 7,1 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.
  8. News at EPFL
  9. Web del CNRS - Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007 (francès)
  10. ARTIST2 NoE - Strategic Management Board — Artist2 NoE
  11. Decret del 16 de maig de 2008 publicat in the Journal officiel de la République Française del 17 de maig de 2008.
  12. Decret del 13 de juliol de 2011 publicat al Journal officiel de la République Française del 14 de juliol de 2008.]

Enllaços externs[modifica]

A Wikimedia Commons hi ha contingut multimèdia relatiu a: Joseph Sifakis Modifica l'enllaç a Wikidata