Iosif Sifakis

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare

Lua error în mw.wikibase.entity.lua la linia 88: data.schemaVersion must be a number, got nil instead. Iosif Sifakis (în greacă Ιωσήφ Σηφάκης, în franceză Joseph Sifakis; n. 1946, Iraklion, Grecia) este un informatician grec, laureat al Premiului Turing în 2007 împreună cu E. Allen Emerson și Edmund Clarke, pentru dezvoltarea conceptului de model checking.