Joseph Sifakis

Origem: Wikipédia, a enciclopédia livre.
Saltar para a navegação Saltar para a pesquisa
Joseph Sifakis
Joseph Sifakis, em 2008
Nascimento 26 de dezembro de 1946 (72 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
Prêmios Prêmio Turing (2007)
Empregador Centre National de la Recherche Scientifique, Escola Politécnica Federal de Lausana
Página oficial
http://www-verimag.imag.fr/~sifakis/
Instituições Centre national de la recherche scientifique
Campo(s) Ciência da computação

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

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


Ícone de esboço Este artigo sobre uma pessoa é um esboço. Você pode ajudar a Wikipédia expandindo-o.