Объявлены лауреаты премии Тьюринга

image

Теги: Тьюринг

Лауреатами стали Эдмунд Кларк, Аллен Эмерсон и Иосиф Сифакис, создатели метода верификации моделей программ (Model checking).

Ассоциация вычислительной техники (Association for Computing Machinery, ACM) объявила лауреатов премии Тьюринга (самой престижной премии в области компьютерных наук) за 2007 год. Ими стали Эдмунд Кларк (Edmund Clarke), Аллен Эмерсон (Allen Emerson) и Иосиф Сифакис (Joseph Siphakis), создатели метода верификации моделей программ (Model checking).

Премия названа в честь Алана Тьюринга - британского математика и криптографа. Она присуждается ежегодно с 1966 года за теоретические и практические достижения в информационных технологиях и считается самой престижной премией в этой области. Сейчас размер премии составляет 250 тысяч долларов, спонсорами являются компании Intel и Google.

Лауреаты награждены за разработку метода проверки качества, известного под названием Model checking, верификация моделей (программ). Верификация модели - это проверка, является ли данная логическая структура моделью данной формулы (как правило, формулы временной логики). Сейчас этот метод широко используется для проверки сложных объектов - как программного обеспечения, так и "железа". Он позволяет разрабатывать сложные интегральные схемы, коммуникационные протоколы, драйвера устройств, цифровые контроллеры для автомобилей, самолетов, промышленных предприятий. По словам президента ACM, метод верификации моделей - яркий пример важнейшей прикладной технологии, развившейся из сугубо теоретического исследования.

Пионерские работы по методу верификации моделей появились в 1981 (Кларк и Эмерсон) и 1982 (Сифакис и Кей) годах. Кларк работает в университете Карнеги-Меллон, Эмерсон - в Техасском университете в Остине, Сифакис - во французском Национальном центре научных исследований и университете Гренобля.


или введите имя

CAPTCHA
1
06-02-2008 18:56:04
Очень хорошая новость особенно если учесть, что это был самый первый трактор!
0 |
&i1
06-02-2008 22:47:42
ну и где увидеть этот метод? лажовая подача новостей. то ли дело тут: http://www.gazeta.ru/science/2008/02/05_a_2625689.shtml
0 |
1
07-02-2008 16:57:56
не понимаю нафиг на сайте тухлые новости, прошел конкурс хер знает когда. а о нем только что вспомнили.
0 |