Joseph Sifakis (; Heraclião, ) é um informático
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, na Universidade Joseph Fourier, em Grenoble.
Ligações externas
Categoria:Cientistas da computação Categoria:Gregos do século XX Categoria:Franceses Categoria:Gregos do século XXI