Joseph Sifakis

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

  1. ↑ «Το βραβείο Turing 2007 σε Έλληνα ερευνητή, Kathimerini, 4 de fevereiro de 2008» (em grego). Arquivado do original em 16 de julho de 2011 
  2. ↑ «Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007, CNRS, 4 de fevereiro de 2008» 🔗 (em francês) 
  3. ↑ «Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής, Eleftherotypia, 5 de fevereiro de 2008» (em grego). Arquivado do original em 7 de fevereiro de 2008 
  4. ↑ «Verimag Distributed and Complex Systems Group, News, 4 de fevereiro de 2008» (em inglês) 

Ligações externas


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.