Joseph Sifakis

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Translation Latin Alphabet.svg
Este artigo ou secção está a ser traduzido de de:Joseph Sifakis. Ajude e colabore com a tradução.
Joseph Sifakis
Ciência da computação
Joseph Sifakis, em 2008
Nacionalidade Grécia grego
Nascimento 26 de dezembro de 1946 (67 anos)
Local Heraclião, Creta
Atividade
Campo(s) Ciência da computação
Instituições Centre national de la recherche scientifique
Alma mater Universidade Técnica Nacional de Atenas, Universidade de Grenoble
Prêmio(s) Prêmio Turing (2007)

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.