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) Connections
Works In
Source Joseph Sifakis, Wikipedia
In the Other Atlases
- Also in Geography Atlas: France, nationality there.
- Also in Geography Atlas: Greece, nationality there.
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
Works In: Computer Science, Lead sentence
Joseph Sifakis (Greek: Ιωσήφ Σηφάκης; born 26 December 1946) is a Greek-French computer scientist.
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.