Joseph Sifakis
Origem: Wikipédia, a enciclopédia livre.
| Joseph Sifakis | |
|---|---|
| Ciência da computação | |
 Joseph Sifakis, em 2008 |
|
| Nascimento | 1946 |
| Local | Heraclião |
| Actividade | |
| Campo(s) | Ciência da computação |
| Prêmio(s) | Prêmio Turing (2007) |
Joseph Sifakis (em grego: Ιωσήφ Σηφάκης) (Heraclião, 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).
- ↑ 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).
- ↑ Verimag Distributed and Complex Systems Group, News, 4 de fevereiro de 2008 (em inglês).
Ligações externas [editar]
| Precedido por Frances Allen |
Prêmio Turing 2007 com Edmund Clarke e Ernest Allen Emerson |
Sucedido por Barbara Liskov |
