Joseph Sifakis - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for Joseph Sifakis.

Joseph Sifakis

Origem: Wikipédia, a enciclopédia livre.

Joseph Sifakis
Joseph Sifakis, em 2008
Nascimento 26 de dezembro de 1946 (73 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


Precedido por
Frances Allen
Prêmio Turing
2007
com Edmund Clarke e Ernest Allen Emerson
Sucedido por
Barbara Liskov


Este artigo sobre uma pessoa é um esboço. Você pode ajudar a Wikipédia expandindo-o.
{{bottomLinkPreText}} {{bottomLinkText}}
Joseph Sifakis
Listen to this article