Laureate
Joseph Sifakis
Born 1946 · Greece · Male
Awards
-
2007
Turing Award
CSfor their role in developing model checking into a highly effective verification technology that is widely adopted in the hardware and software industries
Recognition for work with lasting impact
Laureate
Born 1946 · Greece · Male
2007
for their role in developing model checking into a highly effective verification technology that is widely adopted in the hardware and software industries