Matches in DBpedia 2014 for { ?s ?p Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek computer scientist that holds also French citizenship, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.He was born in Heraklion, Crete in 1946 and studied Electrical Engineering at the National Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship.. }
Showing items 1 to 1 of
1
with 100 items per page.
- Joseph_Sifakis comment "Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek computer scientist that holds also French citizenship, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.He was born in Heraklion, Crete in 1946 and studied Electrical Engineering at the National Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship.".