| Joseph Sifakis | |
|---|---|
 | |
| Nascimento | 26 de dezembro de1946 (78 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 |
| Orientador(a)(es/s) | Louis Bolliet,Jean Kuntzmann |
| 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 (emgrego:Ιωσήφ Σηφάκης;Heraclião,26 de dezembro de1946) é uminformáticogreco-francês.[1][2]
Foi laureado com oPrêmio Turing de 2007.
Contribuiu significativamente para o advento doModel Checking e sua difusão na indústria.
Estudouengenharia eletrônica naUniversidade Técnica Nacional de Atenas, com doutorado em informática, mediante uma bolsa de estudos francesa,[3] naUniversidade Joseph Fourier, emGrenoble.[4]
| Precedido por Frances Allen | Prêmio Turing 2007 comEdmund Clarke eErnest Allen Emerson | Sucedido por Barbara Liskov |
 | Este artigo sobre umapessoa é umesboço. Você pode ajudar a Wikipédiaexpandindo-o. |
