Joseph Sifakis is a Greek-French computer scientist who received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
Facts
Notable Work BirthplaceHeraklion, Crete, Greece 1 Field
Field (category) Sources
1. Joseph Sifakis, Wikipedia
Biography, first sentence
Joseph Sifakis was born in Heraklion, Crete in 1946 and lives in France.
Lead paragraph
Joseph Sifakis is a Greek-French computer scientist.
Work section
In his state doctorate he studied the principles of the algorithmic verification method known later as model checking.
- Wikipedia 'Joseph Sifakis': stated occupation/field in article intro, checked 2026-09-27
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.