|
Žozef Sifakis dobitnik Tjuringove nagrade |
Žozef Sifakis, istraživač francuskog Centra za naučna istraživanja CNRS, ovogodišnji je dobitnik Tjuringove nagrade koju dodeljuje Asocijacija za računske mašine (Association for Computing Machinery, ACM).
Sifakis je nagradu dobio za rad na tehnologiji poznatoj pod nazivom "Model Checking", koja se koristi u industriji softvera i informatičke opreme za automatsku proveru sistema u realnom vremenu. Tehnologija Model Checking proverava da li neki sistem odgovara zahtevima u pogledu stabilnosti i bezbednosti, i od ključnog je značaja u kontroli komunikacionih čipova koji se koriste u sistemima za upravljanje avionskim i železničkim saobraćajem.
Tjuringovu nagradu mnogi smatraju svojevrsnom Nobelovom nagradom u oblasti informatike. Nagrada se dodeljuje od 1966. godine u čast poznatog matematičara Alana Tjuringa, vredna je 100.000 dolara, a između ostalih dosada su je dobili pronalazač miša Daglas Engelbart, kreatori operativnog sistema Unix Ken Tompson i Denis Riči, pioniri Interneta Vinton Cerf i Robert Kan i Džon Bakus, čovek koji je razvio programski jezik FORTRAN.
|
