Joseph Sifakis
Joseph Sifakis (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.
  | |
| Nom original | (el) Ιωσήφ Σηφάκης |
|---|---|
| Biografia | |
| Naixement | 26 desembre 1946 (77 anys) Càndia (Grècia) |
| Director de recerca del CNRS | |
| | |
| Dades personals | |
| Nacionalitat | Grec/francès |
| Formació | Universitat Politècnica Nacional d'Atenes Universitat de Grenoble |
| Director de tesi | Louis Bolliet i Jean Kuntzmann |
| Es coneix per | Desenvolupament de la verificació de models |
| Activitat | |
| Camp de treball | Ciències de la computació |
| Ocupació | Informàtica |
| Organització | CNRS |
| Membre de | |
| Obra | |
| Estudiant doctoral | Stavros Tripakis (en)  , Hubert Garavel (en) , Sergio Yovine (en) , Carlos Crego Rodríguez, Stavros Tripakis (en) i Mohamad Jaber (en) |
Premis Premi Turing (2007) | |
| Lloc web | www-verimag.imag.fr… |
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,0 1,1 Aperçu historique de l'immigration grecque à Grenoble Arxivat 2012-07-23 a Wayback Machine., 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,0 2,1 (Eleftherotypia - 05 Feb 2008) Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής Arxivat 2008-02-07 a Wayback Machine. (grec)
- ↑ (Kathimerini - 04 Feb 2008) Το βραβείο Turing 2007 σε Έλληνα ερευνητή Arxivat 2011-10-03 a Wayback Machine. (grec)
- ↑ 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
- ↑ 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
- ↑ 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,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.
- ↑ News at EPFL
- ↑ Web del CNRS - Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007 (francès)
- ↑ ARTIST2 NoE - Strategic Management Board — Artist2 NoE
- ↑ Decret del 16 de maig de 2008 publicat in the Journal officiel de la République Française del 17 de maig de 2008.
- ↑ 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 |