Joseph Sifakis

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.