Спецсеминар «Корректность программ»

Руководители:
доктор физ.-мат. наук Петренко Александр Константинович,
канд. физ.-мат. наук Хорошилов Алексей Владимирович,
канд. физ.-мат. наук Кулямин Виктор Вячеславович

Вставили флешку (например, в интернет-кафе), где был файлик с паролями, и через несколько дней вас взломали? Ваш любимый антивирус стал совершенно бессилен? Неужели выхода нет? У нас есть идея, как в этом поможет виртуализация. Присоединяйтесь: вместе мы сделаем наши компьютеры непотопляемыми! (далее)

Опять «глючит» связь? Отказывается работать почта? Безумно любите сети? Протоколы и веб-сервисы захватили мир. Браузеры, файловые хостинги, интернет-кошельки – только не говорите, что вы этим не пользуетесь. Впереди эра IPv6. А ПО до сих пор «глючит». Мы уже боремся с этим. Присоединяйтесь к нам! (далее)

Опять не подключается wi-fi? Ваш Linux не дает вам записать любимую музыку на плейер? Опять эти ошибки в драйверах! Мы уже боремся с этой проблемой. Предлагаем присоединиться! (далее)

Любите возиться с ассемблером? Интересно узнать, как программируются гаджеты? В каждом из них есть микропроцессор. А знаете, что когда-то он был программой, причем настолько большой, что для ее отладки используют самые современные технологии. Хотите помочь в развитии микропроцессоров, самых нужных компьютерных устройств? (далее)

Летали на современных самолетах? Интересуетесь техникой? А знаете, что в самолете "внутри" и как оно делается? То, на чем мы летаем сейчас, задумывалось 20 лет назад, через 10 лет было реализовано, и только сейчас получило разрешение на полет. Не согласны? (далее)

Вы любите писать программы под Linux. Ими пользуются ваши друзья и коллеги по Интернету. Но через год-два сменился актуальный дистрибутив Linux и Ваша программа перестала запускаться. Мы знаем, как надо писать программы, чтобы такого не происходило. Знать мало - идея должна быть доведена до результата. А тут есть исследовательские задачи. (далее)

© Кафедра системного программирования ВМК МГУ.

Обновлено: 08.03.2012