Тьюринга получат американцы и француз

05 февраля 2008 года, 19:11

Алан ТьюрингЭдмунд Кларк (Edmund M. Clarke), преподаватель информатики из Университета Карнеги Меллон (Carnegie Mellon University) в Питтсбурге, Аллен Эмерсон (E. Allen Emerson), студент Университета Техаса в Остине (University of Texas at Austin), США, и Джозеф Сифакис (Joseph Sifakis) из Университета Гренобля (University of Grenoble), Франция, стали лауреатами премии Тьюринга за 2008 год, сообщает Associated Press.

На этот раз престижная награда в области информатики будет вручена за разработку автоматизированного метода поиска ошибок в компьютерном аппаратном и программном обеспечении.

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

Премия имени английского ученого Алана Мэтисона Тьюринга (1912-1954), одного из основоположников компьютерной науки, была учреждена в 1966 году. В прошлом году компания Google присоединилась к корпорации Intel в спонсорстве премии, увеличив призовой фонд с $100 тыс. до $250 тыс. Intel стала спонсором премии в 2002 году, увеличив сумму награды с $25 тыс. до $100 тыс.

Просмотров: 1519
Все лента новостей