Премией Тьюринга, самой престижной наградой в области информационных технологий, в этом году отмечены изобретатели верификации моделей, набора методов математической формулировки требований к программам и разработки алгоритмов формальной проверки исполнения этих требований. Премию в 250 тыс. долл., учрежденную международной Ассоциацией вычислительной техники, получили Эдмунд Кларк из Университета Карнеги-Меллона, Аллен Эмерсон из Техасского Университета и Джозеф Сифакис из университета г. Гренобль (Франция). Как отмечает Питер Ли, декан факультета компьютерных наук Университета Карнеги-Меллона, метод верификации моделей уже оказал громадное влияние на программирование, однако в полной мере ценность этого изобретения будет осознана позднее. По словам Ли, развитие идей верификации моделей сейчас близко к тому, чтобы дать основу для новых методологий разработки, способных гарантировать работу программ в точном соответствии с требованиями к ним. Премия Тьюринга была учреждена в 1967 году. В числе ее лауреатов — изобретатель Фортрана Джон Бэкус, основатель лаборатории искусственного интеллекта МТИ Марвин Мински и другие.
