Семенов Виталий Адольфович
- Профессор:Факультет компьютерных наук / Базовая кафедра «Системное программирование» Института системного программирования РАН
- Начала работать в НИУ ВШЭ в 2018 году.
- Научно-педагогический стаж: 1 год 6 месяцев.
Образование, учёные степени и учёные звания
- 2006Ученое звание: Профессор
- 1998Доктор физико-математических наук
- 1990Кандидат физико-математических наук
- 1985
Специалитет: Московский физико-технический институт, специальность «Динамика полета и управление»
Выпускные квалификационные работы студентов
- Магистратура
Обыденков Д. О. «Программа построения и управления анонимизирующими цепочками». Факультет компьютерных наук, 2019
Учебные курсы (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
