Определены лауреаты Премии Тьюринга 2008 г.

Ассоциация вычислительной техники объявила о том, кто будет награжден Премией Тьюринга 2008 года.

Эдмунд Кларк (Edmund Clarke), Аллен Эмерсон (Allen Emerson) и Джозеф Сифакис (Joseph Sifakis) получат эту престижную награду в области информатики за разработку автоматизированного метода поиска ошибок в компьютерном аппаратном и программном обеспечении.

Созданный ими метод называется Model Checking, он позволяет анализировать логические схемы, лежащие в основе реализованной разработки. Model Checking рассматривает ее характеристики и определяет, насколько они согласуются с проектом.

Лауреаты Премии Тьюринга 2008 г. получат $250 тыс.