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

Новости

26 Сентября, 2024 Отбор в Совет обучающихся образовательных организаций высшего образования и научных организаций

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

19 Сентября, 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]