Joseph Sifakis: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nuova pagina: '''Joseph Sifakis''' (Greco: Iωσήφ Σηφάκης)(Iraklio, Grecia 1946 - ) è uno scienziato informatico greco, che fu tra i primi a contribuire alla teor... |
Nessun oggetto della modifica |
||
Riga 1:
'''Joseph Sifakis''' ([[Lingua Greca|Greco]]: Iωσήφ Σηφάκης) ([[Iraklio]], [[Grecia]] 1946 - ) è uno scienziato informatico greco, che fu tra i primi a contribuire alla teoria di [[model checking]]. Sifakis (insieme con [[Edmund M. Clarke]] e [[E. Allen Emerson]]) ha ricevuto un [[Premio Turing|Turing Award]] nel [[2007]].
[[de:Joseph Sifakis]]
[[en:Joseph Sifakis]]
[[es:Joseph Sifakis]]
[[fr:Joseph Sifakis]]
| |||