Fu tra i primi a contribuire alla teoria del model checking. Sifakis (insieme con Edmund M. Clarke e E. Allen Emerson) ha ricevuto il Premio Turing nel 2007.
Onorificenze
Altri progetti
Collegamenti esterni
Categoria:Vincitori del premio Turing
Źródło i licencja
Na podstawie: Wikipedia — Joseph Sifakis · historia autorów.
Tekst: CC BY-SA 4.0.
Informacja o opracowaniu
Usunięto składnię wiki i szablony; dłuższe teksty skrócono.