Документ взят из кэша поисковой машины. Адрес оригинального документа : http://sp.cs.msu.ru/specsem/vvp/
Дата изменения: Wed Feb 11 22:31:41 2015
Дата индексирования: Sat Apr 9 23:24:43 2016
Кодировка: Windows-1251
Спецсеминар «Корректность программ»

Главная страница « Спецсеминары «

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

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

Новости
Информация
Преподаватели и сотрудники
Студенты и аспиранты
Научно-исследовательский семинар
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

Тематика спецсеминара

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

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

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

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

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

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

Проекты отдела в ИСП РАН нашего спецсеминара

С остальными проектами можно ознакомиться на сайте нашего отдела в ИСП РАН.

Партнеры в научно-практической деятельности

  

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

Обновлено: 08.03.2012