Joseph Sifakis
| Joseph Sifakis | |
|---|---|
 Joseph Sifakis, em 2008 | |
| Nascimento | 26 de dezembro de 1946 (79 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 da computação, engenheiro, pesquisador |
| Distinções | Prêmio Turing (2007) |
| Empregador(a) | Centro Nacional de Pesquisa Científica, Escola Politécnica Federal de Lausana |
| Orientador(a)(es/s) | Louis Bolliet, Jean Kuntzmann |
| Instituições | Centre national de la recherche scientifique |
| 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]
| Precedido por Frances Allen |
Prêmio Turing 2007 com Edmund Clarke e Ernest Allen Emerson |
Sucedido por Barbara Liskov |
