Одним из главных принципов уникальной «системы Физтеха», заложенной в основу образования в МФТИ, является тщательный отбор одаренных и склонных к творческой работе представителей молодежи. Абитуриентами Физтеха становятся самые талантливые и высокообразованные выпускники школ всей России и десятков стран мира.

Студенческая жизнь в МФТИ насыщенна и разнообразна. Студенты активно совмещают учебную деятельность с занятиями спортом, участием в культурно-массовых мероприятиях, а также их организации. Администрация института всячески поддерживает инициативу и заботится о благополучии студентов. Так, ведется непрерывная работа по расширению студенческого городка и улучшению быта студентов.

Адрес e-mail:

(5.02) Объявлены лауреаты самой престижной компьютерной премии

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

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

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

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

Источник: lenta.ru

Если вы заметили в тексте ошибку, выделите её и нажмите Ctrl+Enter.

© 2001-2016 Московский физико-технический институт
(государственный университет)

Техподдержка сайта

МФТИ в социальных сетях

soc-vk soc-fb soc-tw soc-li soc-li
Яндекс.Метрика