магистерская программа "Системное программирование"
кафедра системного программирования
Руководитель
Аветисян Арутюн Ишханович,
Академик РАН, Профессор РАН, доктор физико-математических наук
Магистерская программа "Системное программирование" готовит высококвалифицированных специалистов в области системного программирования. Одна из главных задач программы – подготовка кадров высшей квалификации в сфере ИТ. Эта задача требует широкого спектра исследований и разработок от дискретной математики до Интернет - технологий для обеспечения широкой и фундаментальной подготовки специалистов. В отличие от индустриальных компаний, ИСП РАН не имеет фиксированного технологического фокуса и базирующегося на нем программного обеспечения. Широкий спектр исследований способствует также развитию принципиально новых технологий, которые зачастую имеют междисциплинарный характер.
Выпускники данной программы владеют теоретическими основами и практическими навыками в области операционных систем, компиляторных технологий, параллельных и распределенных вычислений, технологиями верификации и тестирования программного обеспечения, анализа и обработки больших объемов данных, семантического поиска и др.
О кафедре
Образовательный процесс осуществляется на кафедре системного программирования, заведующий кафедрой член-корр. РАН, д.ф.-м.н. Аветисян Арутюн Ишханович, директор Института системного программирования им. В.П. Иванникова Российской академии наук. Зам.зав.кафедрой: д.т.н. Шнитман Виктор Зиновьевич

Учеба на кафедре совмещается с участием в контрактных работах с индустрией и научных исследованиях, поддерживаемых отечественными и международными грантами. Студентам тем самым доступны разные сценарии их дальнейшего карьерного роста, от чисто научного до производственного. Магистранты имеют возможность трудоустройства и прохождения стажировок в отделах ИСП РАН, институтах Российской академии наук, ведущих лабораториях МФТИ, а также в таких компаниях как Сбербанк, 1С, Яндекс, ABBY и других.
Учебные курсы
Объектно-ориентированное программирование
Формальные методы спецификации программ
Технология компиляторов
Математические основы информатики
Реинжениринг программного обеспечения
Компьютерная графика и визуализация научных исследований
Распределенные и параллельные вычислительные системы
Базы данных и базы знаний
Телекоммуникации, сети и Интернет
Системное программирование
Динамическая компиляция
Верификация моделей программ
Контакты
Шнитман Виктор Зиновьевич
vzs@ispras.ru
+7(910)426-07-88
Физтех-школа радиотехники и компьютерных технологий
Приемная комиссия
pk@mipt.ru
тел. +7 (495) 408-48-00