КОМАНДА

Курсы:Программная инженерия, Введение в статический анализ и верификацию ПО, Технологии проектирования и архитектура ПО, Тестирование ПО, Научный семинар по подготовке ВКР

Курсы: Углубленное программирование на языке Java, Технологии проектирования и архитектура ПО, Тестирование ПО, Управление программными проектами (Project management)

Курс: Конструирование компиляторов: практическое введение

Курсы: Языки программирования: семантика и системы типов, Конструирование компиляторов: углубленный курс

Курсы: Программная инженерия (практика), Введение в анализ и верификацию ПО (практика), Технологии проектирования и архитектура ПО (практика), Углубленное программирование на языке Java (практика)

Курсы: Фаззинг программного обеспечения, Программная инженерия (практика), Технологии проектирования и архитектура ПО (практика), Углубленное программирование на языке Java (практика)

Курсы: Разработка enterprise-систем, Углубленное программирование на языке Java

Курсы: Верификация методом model checking, Дедуктивная верификация ПО