Асоциацията по изчислителна техника (ACM) обяви лауреатите на наградите Тюринг - най-престижната премия в областта на компютърните науки - за 2007 година.

Това са Едмънд Кларк, Алън Емерсън и Джоузеф Сифакис (на снимката)- създатели на метода за верификация на програмните модели (Model checking).

Премията е наречена в чест на Алън Тюринг - британски математик и криптограф.
Тя се присъжда ежегодно от 1966 година за теоретически и практически достижения в информационните технологии и е смятана за най-престижната награда в тази област. Размерът на премията е 250 хиляди долара, осигурени от Intel и Google.

Лауреатите са наградени за разработка на метода за проверка на качеството, известно под името Model checking, верификация на моделите.

Верификацията на модели - това е проверка  дали дадена логическа структура е модел на определена формула.  
Сега този метод има широко приложение за проверки на сложни обекти.
Той позволява да се разработват сложни интегрални схеми, комуникационни протоколи, драйвърни устройства, цифрови контролери за автомобили, самолети и промишлени предприятия.

Първите работи по метода за верификация на моделите се появяват през 1981г. (Кларк и Емерсън) и 1982 г. (Сифакис и Кей).
Кларк работи в университа Карнеги Мелон, Емерсън - в Тексаския университет в Остин, Сифакис - във френския Национален център за научни изследвания и университета в Гренобъл.