Joseph Sifakis
| |||
| Biografia | |||
|---|---|---|---|
| Naixement | 26 desembre 1946  (79 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 | Acadèmia Nacional de Ciències dels Estats Units (2024–) Association for Computing Machinery (membre de l'Association for Computing Machinery) (2012–) Academia Europaea (2008–) Acadèmia de Tecnologies Acadèmia Americana de les Arts i les Ciències Acadèmia Francesa de les Ciències Acadèmia Nacional d'Enginyeria | ||
| Obra | |||
| Estudiant doctoral | Stavros Tripakis, Hubert Garavel, Sergio Yovine, Carlos Crego Rodríguez, Stavros Tripakis (en)  i Mohamad Jaber (en) | ||
| Premis | |||
Premi Turing (2007) | |||
| Lloc web | www-verimag.imag.fr… | ||
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.
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 é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 2 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
- 1 2 (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ó.
- 1 2 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]
Guardonats amb el Premi Turing | |
|---|---|
Perlis (1966) • Wilkes (1967) • Hamming (1968) • Minsky (1969) • Wilkinson (1970) • McCarthy (1971) • Dijkstra (1972) • Bachman (1973) • Knuth (1974) • Newell / Simon (1975) • Rabin / Scott (1976) • Backus (1977) • Floyd (1978) • Iverson (1979) • Hoare (1980) • Codd (1981) • Cook (1982) • Thompson / Ritchie (1983) • Wirth (1984) • Karp (1985) • Hopcroft / Tarjan (1986) • Cocke (1987) • Sutherland (1988) • Kahan (1989) • Corbató (1990) • Milner (1991) • Lampson (1992) • Hartmanis / Stearns (1993) • Feigenbaum / Reddy (1994) • Blum (1995) • Pnueli (1996) • Engelbart (1997) • Gray (1998) • Brooks (1999) • Yao (2000) • Dahl / Nygaard (2001) • Rivest / Shamir / Adleman (2002) • Kay (2003) • Cerf / Kahn (2004) • Naur (2005) • Allen (2006) • Clarke / Emerson / Sifakis (2007) • Liskov (2008) • Thacker (2009) • Valiant (2010) • Pearl (2011) • Micali / Goldwasser (2012) • Lamport (2013) • Stonebraker (2014) • Hellman / Diffie (2015) • Berners-Lee (2016) • Hennessy / Patterson (2017) • Bengio / Hinton / LeCun (2018) • Hanrahan / Catmull (2019) • Aho / Ullman (2020) • Dongarra (2021) • Metcalfe (2022) • Wigderson (2023) • Barto / Sutton (2024) |
- Nascuts el 1946
- Persones vives
- Premiats amb el Premi Turing
- Informàtics francesos
- Doctors honoris causa per l'École polytechnique fédérale de Lausanne
- Alumnes de la Universitat Politècnica Nacional d'Atenes
- Comandants de la Legió d'Honor
- Persones de Càndia
- Científics grecs
- Científics francesos
- Alumnes de l'Université Grenoble-Alpes
