Joseph Sifakis is a Greek-French computer scientist and one of the pioneers of model checking, a formal method for automatically verifying that a hardware or software system satisfies a given specification, developed independently in the early 1980s alongside Edmund Clarke and Allen Emerson in the United States. Sifakis's own work was carried out in France, and he shared the 2007 Turing Award with Clarke and Emerson for founding the field. He later led research on the design of embedded and real-time systems at Verimag in Grenoble.
Facts
AwardCommander of the Legion of Honour 2 AwardGrand Officer of the National Order of Merit 2 Awardhonorary doctor of the École polytechnique fédérale de Lausanne 2 Connections
In Field
Source Wikipedia: Joseph Sifakis
In the Other Atlases
- Also in Geography Atlas: France, nationality there.
- Also in Geography Atlas: Greece, nationality there.
Sources
1. Wikipedia: Joseph Sifakis
Wikimedia FoundationLead section
Joseph Sifakis (Greek: Ιωσήφ Σηφάκης; born 26 December 1946) is a Greek-French computer scientist.
- In Field: Formal Methods, Lead paragraph
View the Source 2. Wikidata: Joseph Sifakis
Reader 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.