Ignore this box please.
More
Settings
Goodies
About
Help
Feedback
PRIVACY
DontTrack
DontBubble
Policy
COMMUNITY
Platform
Forum
Chat
Spread
Search syntax
s:d sort by date
r:uk uk region
site: domain search
\ search first result
More...
r:n turn off region
!a search search amazon
site:uk uk pages
f: find files
t: within title
b: within body
More explanation...
Joseph Sifakis
Joseph Sifakis is a Greek-French computer scientist, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
More at Wikipedia
Scholars from Crete
Greek computer scientists
More related topics
National Technical University of Athens alumni
French computer scientists
Turing Award laureates
Greek academics
This page requires Javascript.Get the non-JS version
here
.