Кафедра системного программирования ФУПМ МФТИ

Новости

02 Марта, 2023 Delta Computers и ИСП РАН подтвердили совместимость продуктов

16 Декабря, 2022 Открытая конференция ИСП РАН собрала 650 специалистов по системному программированию, цифровой медицине и лингвистике

14 Октября, 2022 Защита диссертаций

Аспирантам

Расписание занятий

Расписание занятий аспирантов в ИСП РАН на 2011-2012 гг.

Расписание занятий аспирантов в ИСП РАН на 2012-2013 гг.

Расписание занятий аспирантов в ИСП РАН на 2013-2014 гг.

Учебные курсы

Верификация моделей программ.

Динамическая компиляция.

Математическая логика: аксиоматические теории и алгебраические системы.

Основы обработки текстовой информации.

Программная инженерия. Дополнительные главы.

Системное программирование.

Статический анализ программ и проблема обнаружения дефектов в ПО.

Экзамены

Вступительный экзамен в аспирантуру.

Программа-минимум кандидатского экзамена по специальности 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей» по физико-математическим и техническим наукам.

Список аспирантов

[1999-2000] [2000-2001] [2001-2002] [2002-2003] [2003-2004] [2004-2005] [2005-2006]

[2006-2007] [2007-2008] [2008-2009] [2009-2010] [2010-2011] [2011-2012] [2012-2013]