CISS' samarbejdspartnere får datalogiens Nobelpris!

Edmund M. Clarke, E. Allen Emerson og Joseph Sifakis modtager A. M. Turing-prisen 2007 for deres arbejde med at udvikle en automatiseret metode for at finde designfejl i computerhardware og –software.

Joseph Sifakis er bestyrelsesmedlem for ARTIST Network of Excellence og sidder i rådgivningskomitéen for DaNES og er derfor nært knyttet til CISS.

Læs mere om udnævnelsen her.