Обявиха лауреатите на най-престижното отличие за постижения в областта на компютърните науки – премията на Тюринг. Това са учените Едмунд Кларк, Алън Емерсон и Йосиф Сифакис, съобщава международната Асоциация по изчислителна техника (ACM).
Лауреатите са наградени за разработката на метод за проверка на качеството, известен с името Model checking или верификация на модули. Методът проверява дали една логическа структура се явява модел на дадена формула и се използва широко при създаване на програми и хардуер.
Кларк, Емерсон и Сифакис работят по метода за верификация още от 1981 година, като в момента учените творят в Карнеги Мелън и Тексаския университет в Остин, във френския Национален център за научни изследвания и Университета в Гренобъл.
Наградата в размер на 250 хиляди долара е осигурена от спонсорите Intel и Google. Престижната премия в чест на британския математик и криптограф Алан Тюринг се дава от 1966 година за теоретични и практически достижения в информационните технологии.