Ассоциация вычислительной техники назвала лауреатов Премии Тьюринга 2007 — ежегодной награды, присуждаемой за вклад в области информационных технологий. Об этом сообщает РИА NR2.
На этот раз Премией Тьюринга отмечены Эдмунд Кларк из Университета Карнеги-Меллона, Аллен Эмерсон из Техасского университета и Джозеф Сифэйкис из Гренобльского университета во Франции. Награда присуждена за вклад в области разработки методик проверки моделей — способов выявления ошибок в комплексных программных и аппаратных системах.
