Информация для аспирантов кафедры СП ФУПМ МФТИ

Новости

18 Апреля, 2025 ИСП РАН выступит партнёром научного форума «Шаг в будущее: глобальный форсайт, искусственный интеллект и стратегическое лидерство»

12 Марта, 2025 XII научно-практическая конференция «OS DAY. Изолированные среды исполнения в операционных системах»

01 Марта, 2025 Шнитману Виктору Зиновьевичу исполняется 80 лет

Аспирантам

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

Расписание занятий аспирантов в ИСП РАН на 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]