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

Новости

13 Января, 2025 11 января 2025 года ушла из жизни Екатерина Михайловна Лаврищева

24 Декабря, 2024 На Открытой конференции ИСП РАН 2024 обсудили безопасность российского ПО и технологий искусственного интеллекта

07 Декабря, 2024 Прощание с академиком Е.П. Велиховым

Аспирантам

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

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