Izvor: Blic, 08.Feb.2008, 16:37 (ažurirano 02.Apr.2020.)
Francuz dobitnik informatičke "Nobelove nagrade"
Istraživač Žozef Sifakis iz francuskog centra za naučna istraživanja CNRS je prvi Francuz dobitnik nagrade "Tjuring" koja se dodeljuje odabranim istraživačima za tehnički doprinos informatičkoj zajednici.
Tu nagradu, koja se smatra "Nobelovom nagradom" u oblasti informatike, svake godine dodeljuje kompjutersko udruženje ACM (Association for Computing Machinery) sa sedištem u Njujorku.
Sifakis je, kako je objavio ACM, dobio nagradu "Tjuring" ustanovljenu >> Pročitaj celu vest na sajtu Blic << 1966. godine za svoj rad na "model čekingu", tehnologiji koja se u velikoj meri koristi u industriji softvera i informatičke opreme.
"Model čeking" je metod automatske provere sistema u realnom vremenu. On omogućava da se algoritamski kontroliše da li neki informatički sistem odgovara zahtevima u pogledu stabilnosti i bezbednosti.
Sifakis je počeo da razvija tu tehnologiju 80-tih godina, a ona se danas koristi pre svega u kontroli komunikacionih čipova, kritičnih sistema u avionima ili vozovima i drugih uređaja.
Sifakis deli svoju nagradu s američkim istraživačima Edmundom Klarkom i Alenom Emersonom koji su takođe učestvovali u tom projektu. Oni će podeliti i novčani iznos od 250.000 dolara koji prati nagradu "Tjuring" za 2007. godinu, preneli su francuski mediji.
