Француз Жозеф Сіфакіс і американці Едмунд Кларк і Аллен Емерсон стали лауреатами премії Тьюринга 2007 року - найпрестижнішої в світі нагороди в галузі інформатики.
Про нагородження повідомили в понеділок у спільній заяві Університет ім. Жозефа Фур'є (Гренобль), Французький центр наукових досліджень і міністерство вищої освіти та наукових досліджень країни.
Високої наукової нагороди вони удостоєні за створення методу перевірки моделі (Model Checking). Розроблена вченими система перевірки моделі широко використовується для детектування та діагностики складних комп'ютерних систем, програмного забезпечення, а також у сфері телекомунікацій.
Едмунд Кларк (Edmund M. Clarke), професор Університету Карнегі Меллона (Carnegie Mellon University) і Ален Емерсон (Allen Emerson), професор Техаського університету (University of Texas) запропонували ідею перевірки моделі в 1981 році в Гарварді. Вони розробили теоретичний метод, за допомогою якого можна визначити, чи відповідає абстрактна модель апаратного або програмного рішення формальної специфікації, даної у формулах темпоральної (часової) логіки - логічної мови, що дозволяє описувати можливу послідовність подій. Жозеф Сіфакіс (Joseph Sifakis) став першим французьким лауреатом цієї премії. Він очолює в Греноблі науково-дослідну лабораторію «» Веримаг «» (Університет Гренобля), що спеціалізується на створенні електронних систем для бортового обладнання. Перші теоретичні основи свого майбутнього відкриття Сіфакіс заклав також у 1981 році, незалежно від своїх американських колег
.
Пізніше модель отримала свій розвиток.
Премія імені видатного британського вченого Алана Тьюрінга (Turing Award) заснована в 1966 році і щорічно присуджується Асоціацією обчислювальної техніки. Лауреату вручається диплом і 250 тисяч доларів.