He changes the world of Computer Science
[:el] Joseph Sifakis is a computer scientist and researcher, laureate of the 2007 Turing Award, along with Edmund M. Clarke and Ernest Allen Emerson for his work on model checking, a verification method of computer hardware and software properties. The Turing Award is recognized as...