Joseph Sifakis
Joseph Sifakis is a Greek-French computer scientist with French citizenship, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
From *.wikipedia.org,
General Info
.
Male
Date of Birth
December 26th, 1946
Age
79
Birth Place
Greece, Crete Region
Star Sign
Capricorn
Social Networks , Links
Interest
Loading Chart...
Lists