article: Joseph Sifakis
links: Heraklion Edmund M. Clarke Greeks University of Grenoble Academia Europaea Crete Greek language French people Greece Computer science National Technical University of Athens E. Allen Emerson Turing Award