Joseph Sifakis
| Joseph Sifakis | |
|---|---|
 | |
| Nascimento | 26 de dezembro de 1946 (77 anos) Heraclião, Creta |
| Nacionalidade | grego |
| Cidadania | Grécia, França |
| Alma mater | Universidade Técnica Nacional de Atenas, Universidade de Grenoble |
| Ocupação | cientista de computação, engenheiro, pesquisador |
| Distinções | Prêmio Turing (2007) |
| Empregador(a) | Centre National de la Recherche Scientifique, Escola Politécnica Federal de Lausana |
| Instituições | Centre national de la recherche scientifique |
| Campo(s) | Ciência da computação |
| Página oficial | |
| http://www-verimag.imag.fr/~sifakis/ | |
Joseph Sifakis (em grego: Ιωσήφ Σηφάκης; Heraclião, 26 de dezembro de 1946) é um informático greco-francês.[1][2]
Foi laureado com o Prêmio Turing de 2007.
Contribuiu significativamente para o advento do Model Checking e sua difusão na indústria.
Estudou engenharia eletrônica na Universidade Técnica Nacional de Atenas, com doutorado em informática, mediante uma bolsa de estudos francesa,[3] na Universidade Joseph Fourier, em Grenoble.[4]
Referências
- ↑ «Το βραβείο Turing 2007 σε Έλληνα ερευνητή, Kathimerini, 4 de fevereiro de 2008» (em grego). Arquivado do original em 16 de julho de 2011
- ↑ «Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007, CNRS, 4 de fevereiro de 2008» 🔗 (em francês)
- ↑ «Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής, Eleftherotypia, 5 de fevereiro de 2008» (em grego). Arquivado do original em 7 de fevereiro de 2008
- ↑ «Verimag Distributed and Complex Systems Group, News, 4 de fevereiro de 2008» (em inglês)
Ligações externas
[editar | editar código-fonte]
| Precedido por Frances Allen | Prêmio Turing 2007 com Edmund Clarke e Ernest Allen Emerson | Sucedido por Barbara Liskov |
