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
Member Of
Source Joseph Sifakis, Wikipedia
Works In
Source Joseph Sifakis, Wikipedia
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Also in Geography Atlas: the nationality of this subject.
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.
Member Of: École Polytechnique Fédérale de Lausanne, Infobox: workplaces
CNRS École Polytechnique Fédérale de Lausanne
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.