Joseph Sifakis

Joseph SIFAKIS (Iraklio, Kreto, 26-an de decembro 1946) estas greka-franca komputikisto, li ricevis la Premion Turing en 2007 kune kun Edmund Clarke kaj E. Allen Emerson, pro ilia laboro en la metodo konita kiel model checking.ACM

 Referencoj 

Kategorio:Komandoroj de la Honora Legio
Kategorio:Turing-Premiitoj
Kategorio:Francaj komputikistoj
Kategorio:Membroj de la franca Akademio de Sciencoj