Joseph Sifakis

Joseph Sifakis (Greek: Ιωσήφ Σηφάκης; born 26 December 1946) is a Greek-French computer scientist. He won the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.

Sifakis was elected a member of the Academia Europaea in 2008.

References

Other websites

Personal homepage
Turing Award announcement

Category:1946 births
Category:Living people
Category:Greek scientists
Category:French academics
Category:Greek academics
Category:Computer scientists
Category:French scientists
Category:Turing Award winners
Category:Members of Academia Europaea