Joseph Sifakis is a Greek scientist and winner of the 2007 Turing Award, the computer science world’s equivalent of a Nobel Prize.