Семенов Виталий Адольфович
- Профессор:Факультет компьютерных наук / Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)
- Начала работать в НИУ ВШЭ в 2018 году.
- Научно-педагогический стаж: 2 года.
Образование, учёные степени и учёные звания
- 2006Ученое звание: Профессор
- 1998Доктор физико-математических наук
- 1990Кандидат физико-математических наук
- 1985
Специалитет: Московский физико-технический институт, специальность «Динамика полета и управление движением летательных аппаратов», квалификация «Инженер-физик»
Выпускные квалификационные работы студентов
- Магистратура
Соболев С. А. «Создание базы спецификаций форматов данных и их уточнение на основе анализа набора трасс программ». Факультет компьютерных наук, 2020
Обыденков Д. О. «Программа построения и управления анонимизирующими цепочками». Факультет компьютерных наук, 2019
Учебные курсы (2020/2021 уч. год)
- Научная визуализация (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Архив учебных курсов
Учебные курсы (2019/2020 уч. год)
Научная визуализация (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
Публикации6
- Статья Ильин Д., Фокина Н., Семенов В. А. Статический анализ зависимостей для семантической валидации данных // Труды Института системного программирования РАН. 2018. Т. 30. № 3. С. 271-284. doi
- Статья Аничкин А., Семенов В. А. Математическая формализация задач проектного планирования в расширенной постановке // Труды Института системного программирования РАН. 2017. Т. 29. № 2. С. 231-256. doi
- Статья Казаков К., Семенов В. А. Объектно-ориентированная среда для разработки приложений планирования движения // Труды Института системного программирования РАН. 2017. Т. 29. № 5. С. 185-238. doi
- Статья Аничкин А., Семенов В. А. Объектно-ориентированный каркас для программной реализации приложений теории расписаний // Труды Института системного программирования РАН. 2017. Т. 29. № 3. С. 247-296. doi
- Статья Аничкин А., Морозов С., Семенов В. А., Тарлапан О. Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса // Труды Института системного программирования РАН. 2017. Т. 29. № 5. С. 239-256. doi
- Статья Казаков К., Семенов В. А. Обзор современных методов планирования движения // Труды Института системного программирования РАН. 2016. Т. 28. № 4. С. 241-294. doi
Участие в редколлегиях научных журналов
С 1989 г.: член редколлегии журнала «Труды Института системного программирования РАН».