Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
отправить сообщение
Подымов Владислав Васильевич
пользователь
ответственный
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
, доцент, с 1 марта 2021
кандидат физико-математических наук с 2015 года
Прежние места работы
(Нажмите для отображения)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
, аспирант, 1 октября 2011 - 30 сентября 2014
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
, младший научный сотрудник, 1 ноября 2014 - 31 декабря 2015
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
,
Лаборатория дискретных управляющих систем и их приложений
, младший научный сотрудник, 1 января 2016 - 22 января 2019
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
,
Лаборатория дискретных управляющих систем и их приложений
, научный сотрудник, 23 января 2019 - 28 февраля 2021
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
, ответственный по системе
Соавторы:
Захаров В.А.
,
Зорин Д.А.
,
Волканов Д.Ю.
,
Коннов И.В.
,
Чемерицкий Е.В.
,
Глонина А.Б.
,
Куцак Н.Ю.
,
Антоненко В.А.
,
Пашков В.Н.
,
Савенков К.О.
,
Смелянский Р.Л.
,
Попеско У.В.
,
Вдовин П.М.
показать полностью...
,
Алтухов В.С.
,
Герасёв А.В.
,
Молчанов А.Э.
,
Попков Г.А.
37 статей
,
20 докладов на конференциях
,
5 тезисов докладов
,
9 НИР
,
3 награды
,
6 членств в программных комитетах
,
1 диссертация
,
5 дипломных работ
,
9 курсовых работ
,
16 учебных курсов
Количество цитирований статей в журналах по данным Web of Science: 1, Scopus: 13
РИНЦ:
IstinaResearcherID (IRID): 7358488
ResearcherID:
G-8692-2014
Scopus Author ID:
56501908000
ORCID:
0000-0002-2041-7634
Деятельность
Статьи в журналах
2020
Formal Verification of Three-Valued Digital Waveforms
Kutsak N.Yu
,
Podymov V.V.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 54, № 7, с. 630-644
DOI
2019
A Flattening Algorithm for Hierarchical Timed Automata
Podymov V.V.
в журнале
Computational Mathematics and Modeling
, издательство
Consultants Bureau
(United States)
, том 30, № 2, с. 99-106
DOI
2019
Efficient Equivalence-Checking Algorithms for Procedural Programs in Progressive Semigroup Gateway Models
Podymov V.V.
в журнале
Moscow University Computational Mathematics and Cybernetics
, издательство
Allerton Press Inc.
(United States)
, том 43, № 4, с. 181-187
DOI
2019
Алгоритмы проверки эквивалентности программ с процедурами в прогрессивных полугрупповых перегородчатых моделях
Подымов В.В.
в журнале
Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика
, издательство
Изд-во Моск. ун-та
(М.)
, № 4, с. 37-44
2019
Формальная верификация диаграмм троичных цифровых сигналов
Куцак Н.Ю.
,
Подымов В.В.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 26, № 3, с. 332-350
DOI
2016
An Efficient Equivalence-Checking Algorithm for a Model of Programs with Commutative and Absorptive Statements
Vladislav Podymov
в журнале
Fundamenta Informaticae
, издательство
I O S press
(Netherlands)
, том 147, № 2-3, с. 315-336
DOI
2015
A Combined Toolset for the Verification of Real-Time Distributed Systems
Konnov I.
,
Podymov V.V.
,
Volkanov D.Y.
,
Zakharov V.A.
,
Zorin D.
в журнале
Programming and Computer Software
, издательство
Pleiades Publishing, Ltd
(Road Town, United Kingdom)
, том 41, № 6, с. 325-335
DOI
2015
VERMONT - средство верификации программно-конфигурируемых сетей
Алтухов В.С.
,
Захаров В.А.
,
Подымов В.В.
,
Чемерицкий Е.В.
в журнале
Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление
, издательство
Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого"
(Санкт-Петербург)
, том 212, № 1, с. 74-87
DOI
2015
Комбинированное средство верификации распределённых вычислительных систем реального времени
Волканов Д.Ю.
,
Захаров В.А.
,
Зорин Д.А.
,
Коннов И.В.
,
Подымов В.В.
в журнале
Программирование
, № 6, с. 72-86
2015
Применение алгоритмов проверки эквивалентности для оптимизации программ
Захаров В.А.
,
Подымов В.В.
в журнале
Труды Института системного программирования РАН (электронный журнал)
, том 27, № 4, с. 145-174
DOI
2014
How to make a simple tool for verification of real-time systems
Konnov I.V.
,
Podymov V.V.
,
Volkanov D.Yu
,
Zorin D.A.
,
Zakharov V.A.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 48, № 7, с. 534-542
DOI
2014
Верификация программно-конфигурируемых сетей при помощи системы UPPAAL
Подымов В.В.
,
Попеско У.В.
в журнале
Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление
, издательство
Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого"
(Санкт-Петербург)
, № 2 (193), с. 169-179
2014
Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами
Подымов В.В.
,
Захаров В.А.
в журнале
Труды Института системного программирования РАН (электронный журнал)
, том 26, № 3, с. 145-166
DOI
2013
О проверке сильной эквивалентности металинейных унарных рекурсивных программ
Подымов В.В.
в журнале
Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика
, издательство
Изд-во Моск. ун-та
(М.)
, № 1, с. 21-27
2012
Алгоритм проверки эквивалентности линейных унарных рекурсивных программ на упорядоченных полугрупповых шкалах
Подымов В.В.
в журнале
Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика
, издательство
Изд-во Моск. ун-та
(М.)
, № 4, с. 37-43
2012
Как разработать простое средство верификации систем реального времени
Волканов Д.Ю.
,
Захаров В.А.
,
Зорин Д.А.
,
Коннов И.В.
,
Подымов В.В.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 19, № 6, с. 45-56
2010
Об одной полугрупповой модели программ, определяемой при помощи двухленточных автоматов
Захаров В.А.
,
Подымов В.В.
в журнале
Научные ведомости Белгородского государственного университета. Серия: Экономика. Информатика
, том 14, № 7, с. 94-101
Статьи в сборниках
2021
Устранение операторов прошлого в троичной логике линейного времени на конечных трассах
Куцак Н.Ю.
,
Подымов В.В.
в сборнике
Всероссийская научная конференция "Математические основы информатики и информационно-телекоммуникационных систем". Сборник Трудов
, издательство
Тверской государственный университет
(Тверь)
, с. 181-189
2018
Алгоритм уплощения иерархических временных автоматов
Подымов В.В.
в сборнике
Прикладная математика и информатика
, серия
Труды факультета ВМК МГУ им. М.В. Ломоносова
, том 59, с. 5-15
2018
Об уплощении иерархических временных автоматов
Подымов В.В.
в сборнике
Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды
, серия
978-5-317-05834-0
, издательство
ООО "МАКС Пресс"
(Москва)
, том 1, с. 222-225
редакторы
Алексеев Валерий Борисович
,
Данилов Борис Радиславович
,
Романов Дмитрий Сергеевич
2017
О полиномиальной разрешимости проблемы эквивалентности программ в перегородчатых моделях над прогрессивными полугруппами
Молчанов А.Э.
,
Подымов В.В.
в сборнике
Проблемы теоретической кибернетики. Материалы XVIII Международной конференции (Пенза, 19-23 июня 2017 г.)
, серия
Проблемы теоретической кибернетики
, место издания
М: МАКС Пресс
, с. 174-176
редакторы
Данилов Борис Радиславович
,
Журавлев Юрий Иванович
,
Романов Дмитрий Сергеевич
2015
An afficient equivalence-checking algorithm for a model of programs with commutative and absorptive statements
Vladislav Podymov
в сборнике
CEUR Workshop Proceedings
, серия
Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Proceedings. Volume 2
, место издания
ceur-ws.org
, том 1492, с. 85-96
2014
A runtime verification system for Software Defined Networks
Altukhov V.S.,
Chemeritskiy E.V.
,
Podymov V.V.
,
Zakharov V.A.
в сборнике
Материалы Международной научно-практической конференции: Tools & Methods of Program Analysis, TMPA-2014
, место издания
Кострома: КГТУ
, с. 19-28
2014
VERMONT - a toolset for checking SDN packet forwarding policies on-line
Altukhov V.S.,
Chemeritskiy E.V.
,
Podymov V.V.
,
Zakharov V.A.
в сборнике
SDN and NFV: Next Generation of Computational Infrastructure - 2014 International Science and Technology Conference - Modern Networking Technologies, MoNeTec 2014, Proceedings
, место издания
МАКС Пресс Москва
, с. 7-12
DOI
2014
Быстрый алгоритм проверки эквивалентности программ с коммутативными и подавляемыми операторами
Подымов В.В.
в сборнике
Проблемы теоретической кибернетики. Материалы XVII Международной конференции (Казань, 16-20 июня 2014 г.)
, серия
Проблемы теоретической кибернетики
, место издания
Отечество Казань
, с. 234-237
2013
An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statecharts
Konnov I.V.
,
Podymov V.V.
,
Volkanov D.Yu
,
Zakharov V.A.
,
Zorin D.A.
,
Glonina A.B.
в сборнике
Proceedings of the International Workshop on Verification of Embedded Systems 2013 (VES 2013). Saint
, место издания
Saint Petersburg State Polytechnical University Petersburg, Russia
, с. 32-46
2013
DYANA: HLA-based distributed real-time embedded systems simulation tool
Antonenko V.A.
,
Chemeritskiy E.V.
,
Glonina A.B.
,
Konnov I.V.
,
Pashkov V.N.
,
Podymov V.V.
,
Savenkov K.O.
,
Smeliansky R.L.
,
Volkanov D.Yu
,
Zakharov V.A.
,
Zorin D.A.
в сборнике
Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World
, место издания
IEEE Press
, с. 4012-4013
2013
DYANA: an integrated development environment for simulation and verification of real-time avionics systems
Antonenko V.A.
,
Chemeritsky E.V.
,
Glonina A.B.
,
Konnov I.V.
,
Pashkov V.N.
,
Podymov V.V.
,
Savenkov K.O.
,
Smeliansky R.L.
,
Vdovin P.M.
,
Volkanov D.Yu
,
Zakharov V.A.
,
Zorin D.A.
в сборнике
Proc. of the 5th EUCASS conference for aerospace science (EUCASS 2013)
, место издания
Munich. Germany
2013
UPPAAL-Based Software-Defined Network Verification
Podymov V.V.
,
Popesko U.V.
в сборнике
Proceedings of the 2013 Tools & Methods of Program Analysis
, серия
TMPA ’13
, место издания
IEEE Computer Society Washington, DC, USA
, с. 9-14
DOI
2013
Верификация программно-конфигурируемых сетей при помощи системы UPPAAL
Подымов В.В.
,
Попеско У.В.
в сборнике
Материалы Международной научно-практической конференции "Инструменты и методы анализа программ"
, место издания
Костромской государственный технологический университет Кострома
, с. 59-70
2013
Методика использования системы имитационного моделирования РВС РВ ДИАНА, основанной на стандарте HLA
Волканов Д.Ю.
,
Антоненко В.А.
,
Герасёв А.В.
,
Глонина А.Б.
,
Захаров В.А.
,
Зорин Д.А.
,
Коннов И.В.
,
Пашков В.Н.
,
Подымов В.В.
,
Савенков К.О.
,
Смелянский Р.Л.
,
Чемерицкий Е.В.
в сборнике
Сборник докладов шестой всероссийской научно-практической конференции "Имитационное моделирование. Теория и практика" (ИММОД-2013)
, место издания
Издательство "ФЭН" Академии наук РТ, Казань
, том 1, с. 322-326
2012
On the Designing of Model Checkers for Real-Time Distributed Systems
Konnov I.V.
,
Podymov V.V.
,
Volkanov D.Yu
,
Zorin D.A.
,
Zakharov V.A.
в сборнике
3-rd Workshop “Program Semantics, Specification, and Verification: Theory and Applications”, Nizhni Novgorod, Russia, July 1-2, 2012
, место издания
Novgorod, Russia
, с. 72-81
2012
Translation of UML Statecharts to UPPAAL Automata for Verification of Real-time Systems
Zorin D.A.
,
Podymov V.V.
в сборнике
Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering
, с. 94-101
2012
Методика использования системы имитационного моделирования РВС РВ, базирующейся на стандарте HLA
Антоненко В.А.
,
Вдовин П.М.
,
Волканов Д.Ю.
,
Глонина А.Б.
,
Захаров В.А.
,
Зорин Д.А.
,
Коннов И.В.
,
Пашков В.Н.
,
Подымов В.В.
,
Савенков К.О.
,
Смелянский Р.Л.
,
Чемерицкий Е.В.
в сборнике
Программные системы и инструменты. Тематический сборник
, серия
Программные системы и инструменты
, место издания
Макс-ПРЕСС Москва
, том 13, с. 105-116
редакторы
Королев Л.Н.
,
Королев Л.Н.
,
Корухова Людмила Сергеевна
,
Костенко Валерий Алексеевич
2012
О средстве трансляции моделей на языке UML во временные автоматы UPPAAL для верификации РВСРВ
Захаров В.А.
,
Зорин Д.А.
,
Подымов В.В.
,
Коннов И.В.
,
Волканов Д.Ю.
в сборнике
Труды международной научной конференции Моделирование-2012
, место издания
Институт проблем моделирования в энергетике им. Г.Е. Пухова Киев, Украина
, с. 199-202
2012
Об эквивалентности металинейных унарных рекурсивных программ
Захаров В.А.
,
Подымов В.В.
в сборнике
Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.)
, место издания
Изд-во механико-математического ф-та МГУ Москва
, с. 157-159
2011
О двухленточных машинах, описывающих полугруппы с сокращением
Захаров В.А.
,
Подымов В.В.
в сборнике
Проблемы теоретической кибернетики. Материалы XVI Международной конференции (Нижний Новгород, 20-25 июня 2011 г.)
, серия
Проблемы теоретической кибернетики
, место издания
Издательство Нижегородского университета Нижний Новгород
, с. 372-375
Доклады на конференциях
2022
Устранение операторов прошлого в сигнальной логике
(Устный)
Авторы:
Куцак Н.Ю.
,
Подымов В.В.
Ломоносовские чтения - 2022, Секция вычислительная математика и кибернетика, 14-22 апреля 2022
, Москва, МГУ имени М.В.Ломоносова, факультет ВМК, Россия, 14-22 апреля 2022
2021
Устранение операторов прошлого в троичной логике линейного времени на конечных трассах
(Устный)
Авторы:
Куцак Н.Ю.
,
Подымов В.В.
Математические основы информатики и информационно-коммуникационных систем.
, Тверь., Россия, 3-8 декабря 2021
2021
Улучшение алгоритмов проверки эквивалентности операторных программ при помощи анализа весов вершин
(Устный)
Автор:
Подымов Владислав Васильевич
Ломоносовские чтения 2021. Секция вычислительная математика и кибернетика, 20-29 апреля 2021
, Москва, Россия, 20-29 апреля 2021
2020
Бисимуляционная эквивалентность систем переходов с реальным временем
(Устный)
Авторы:
Попков Г.А.
,
Подымов В.В.
Научная конференция "Тихоновские чтения 2020" (Москва, Россия, 26-31 октября 2020)
, Москва, МГУ имени М.В.Ломоносова, факультет ВМК, Россия, 26-31 октября 2020
2020
О выразимости операций логики троичных цифровых сигналов
(Устный)
Авторы:
Куцак Н.Ю.
,
Подымов В.В.
Научная конференция "Тихоновские чтения 2020" (Москва, Россия, 26-31 октября 2020)
, Москва, МГУ имени М.В.Ломоносова, факультет ВМК, Россия, 26-31 октября 2020
2019
Алгебра троичных цифровых сигналов
(Устный)
Авторы:
Подымов В.В.
,
Куцак Н.Ю.
Научная конференция "Тихоновские чтения 2019"
, МГУ, Россия, 28 октября - 1 ноября 2019
2018
Об уплощении иерархических временных автоматов
(Устный)
Автор:
Подымов В.В.
X Международная конференция "Дискретные модели в теории управляющих систем"
, Московская область, Можайский район, Красновидово, Россия, 22-25 мая 2018
2017
Преподавание цифровой схемотехники на факультете ВМК МГУ. Успехи факультета в соревновании ICCAD.
(Устный)
Автор:
Подымов Владислав Васильевич
Симпозиум-совещание по преподаванию электроники и разработке систем на кристалле 2017
, Томск, Россия, 18-22 сентября 2017
2017
О полиномиальной разрешимости проблемы эквивалентности программ в перегородчатых моделях над прогрессивными полугруппами
(Устный)
Авторы:
Молчанов А.Э.
,
Подымов В.В.
XVIII Международная конференция «Проблемы теоретической кибернетики» (Пенза, 19-23 июня 2017 г.)
, Пенза, Россия, 19-23 июня 2017
2015
An efficient equivalence-checking algorithm for a model of programs with commutative and absorptive statements
(Устный)
Автор:
Vladislav Podymov
24th International Workshop on Concurrency, Specification & Programming (CS&P)
, Жешув, Польша, 28-30 сентября 2015
2014
A runtime verification system for Software Defined Networks
(Устный)
Авторы:
Altukhov V.S.
,
Chemeritsky E.V.
,
Podymov V.V.
,
Zakharov V.A.
Международная научно-практическая конференция: Tools & Methods of Program Analysis, TMPA-2014
, Кострома, 2014
2014
Models and techniques for verification of Software Defined Networks
(Устный)
Авторы:
Victor Altukhov
,
Eugene Chemeritskiy
,
Vladislav Podymov
,
Vladimir Zakharov
Workshop on Formal Reasoning in Distributed Algorithms (FRIDA-2014)
, Vienna, Austria, Австрия, 2014
2014
VERMONT - a toolset for checking SDN packet forwarding policies on-line
(Устный)
Авторы:
Altukhov V.S.
,
Chemeritsky E.V.
,
Podymov V.V.
,
Zakharov V.A.
SDN&NFV: The Next Generation of Comput. Infrastructure: 2014 Intern. Sci. and Technol. Conf. "Modern Networking Technologies (MoNeTec)"
, Москва, Россия, 2014
2014
Быстрый алгоритм проверки эквивалентности программ с коммутативными и подавляемыми операторами
(Устный)
Автор:
Подымов В.В.
XVII Международная конференция "Проблемы теоретической кибернетики" (Казань, 16-21 июня 2014)
, Казань, Россия, 16-21 июня 2014
2013
Верификация программно-конфигурируемых сетей при помощи системы UPPAAL
(Устный)
Авторы:
Подымов В.В.
,
Попеско У.В.
Инструменты и методы анализа программ
, Кострома, 2013
2012
On the designing of model checkers for real-time distributed systems
(Устный)
Авторы:
Захаров В.А.
,
Зорин Д.А.
,
Yu D.V.
,
Подымов В.В.
,
Коннов И.В.
Семинар "Программные семантики, спецификации и верификация (PSSV)"
, Нижний Новгород, 2012
2012
Translation of UML Statecharts to UPPAAL Automata for Verification of Real-time Systems
(Устный)
Авторы:
Подымов В.В.
,
Зорин Д.А.
Syrcose-2012
, Пермь, 2012
2012
О средстве трансляции моделей на языке UML во временные автоматы UPPAAL для верификации РВС РВ
(Устный)
Авторы:
Зорин Д.А.
,
Коннов И.В.
,
Захаров В.А.
,
Волканов Д.Ю.
,
Подымов В.В.
Моделирование-2012
, Киев, 2012
2012
Трансляции моделей на языке UML во временные автоматы UPPAAL для верификации РВСРВ
(Устный)
Авторы:
Подымов В.В.
,
Зорин Д.А.
Ломоносов-2012
, Москва, Россия, 2012
2011
О проверке эквивалентности последовательных и рекурсивных программ на упорядоченных полугрупповых шкалах
(Устный)
Автор:
Подымов В.В.
X Международная конференция "Интеллектуальные системы и компьютерные науки"
, Москва, Россия, 5-10 декабря 2011
Тезисы докладов
2021
Улучшение алгоритмов проверки эквивалентности операторных программ при помощи анализа весов вершин
Подымов Владислав Васильевич
в сборнике
Ломоносовские чтения-2021: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов
, серия
Секция Вычислительной математики и кибернетики
, издательство
Изд-во Моск. ун-та
(М.)
, том 2021, тезисы, с. 124-125
2020
Бисимуляционная эквивалентность систем переходов с реальным временем
Попков Г.А.
,
Подымов В.В.
в сборнике
«Тихоновские чтения»: научная конференция: тезисы докладов: посвящается памяти академика Андрея Николаевича Тихонова: 26 – 31 октября 2020 г
, серия
ТЕЗИСЫ ДОКЛАДОВ
, издательство
ООО "МАКС Пресс"
(Москва)
, том 1, тезисы, с. 42-42
2020
О выразимости операций логики троичных цифровых сигналов
Куцак Н.Ю.
,
Подымов В.В.
в сборнике
«Тихоновские чтения»: научная конференция: тезисы докладов: посвящается памяти академика Андрея Николаевича Тихонова: 26 – 31 октября 2020 г
, серия
ТЕЗИСЫ ДОКЛАДОВ
, издательство
ООО "МАКС Пресс"
(Москва)
, том 1, тезисы, с. 41-41
2019
Алгебра троичных цифровых сигналов
Куцак Н.Ю.
,
Подымов В.В.
в сборнике
"Тихоновские чтения": научная конференция: тезисы докладов
, место издания
МаксПресс Москва
, тезисы, с. 102-102
2011
О проверке эквивалентности последовательных и рекурсивных программ на упорядоченных полугрупповых шкалах
Подымов В.В.
в сборнике
Материалы X Международной конференции "Интеллектуальные системы и компьютерные науки"
, место издания
Издательство механико-математического факультета МГУ Москва
, тезисы, с. 295-298
НИРы
1 января 2024 - 31 декабря 2028
Математические модели дискретных управляющих систем и их практическая адаптация
Кафедра математической кибернетики
Руководитель:
Ложкин С.А.
Ответственный исполнитель:
Романов Д.С.
Участники НИР:
Борисов А.В.
,
Владимирова Ю.С.
,
Данилов Б.Р.
,
Подымов В.В.
,
Половинкина Т.И.
,
Рамиль Альварес Х.
,
Шуплецов М.С.
1 января 2019 - 31 декабря 2023
Математические модели дискретных управляющих систем и их приложения
Кафедра математической кибернетики
Руководители:
Захаров В.А.
,
Ложкин С.А.
Ответственный исполнитель:
Романов Д.С.
Участники НИР:
Борисов А.В.
,
Владимирова Ю.С.
,
Данилов Б.Р.
,
Жуков В.В.
,
Подымов В.В.
,
Половинкина Т.И.
,
Рамиль Альварес Х.
,
Шуплецов М.С.
22 мая 2018 - 25 мая 2018
10-я Международная конференция "Дискретные модели в теории управляющих систем"
Кафедра математической кибернетики
Руководитель:
Алексеев В.Б.
Ответственный исполнитель:
Селезнева С.Н.
Участники НИР:
Данилов Б.Р.
,
Захаров В.А.
,
Ложкин С.А.
,
Нагорный А.С.
,
Подымов В.В.
,
Романов Д.С.
,
Чокаев Б.В.
,
Шуплецов М.С.
1 января 2017 - 31 декабря 2017
Теория схем программ в задачах оптимизации, верификации и реорганизации последовательных и параллельных программ
Кафедра математической кибернетики
Руководитель:
Захаров В.А.
Участник НИР:
Подымов В.В.
9 января 2016 - 31 декабря 2016
Теория схем программ в задачах оптимизации, верификации и реорганизации последовательных и параллельных программ
4.08.Лаборатория параллельных информационных технологий
Руководитель:
Захаров В.А.
Участник НИР:
Подымов В.В.
1 января 2014 - 31 декабря 2018
Теория дискретных управляющих систем, ее приложения в проектировании СБИС и программировании
Кафедра математической кибернетики
Руководители:
Захаров В.А.
,
Ложкин С.А.
Ответственные исполнители:
Романов Д.С.
,
Шуплецов М.С.
Участники НИР:
Антюфеев Г.В.
,
Владимирова Ю.С.
,
Высоцкий Л.И.
,
Данилов Б.Р.
,
Добровецкий Д.И.
,
Довгалюк Е.Л.
,
Жуков В.В.
,
Зиновьев В.С.
,
Коноводов В.А.
,
Кулешов О.В.
,
Кухтинов А.С.
,
Любич И.Г.
,
Марченко А.М.
,
Маслов С.П.
,
Морозов Е.В.
,
Павлова А.Ф.
,
Подловченко Р.И.
,
Подымов В.В.
,
Рамиль Альварес Х.
,
Романов Д.С.
,
Сальников В.А.
,
Шуплецов М.С.
1 января 2013 - 31 декабря 2015
Средства автоматической проверки темпоральных свойств асинхронных систем взаимодействующих процессов
Лаборатория вычислительных комплексов
Руководитель:
Чистолинов М.В.
Участники НИР:
Балашов В.В.
,
Герасёв А.В.
,
Подымов В.В.
,
Попеско У.В.
20 сентября 2010 - 15 ноября 2012
Создание прототипа интегрированной среды и методов комплексного анализа функционирования распределённых вычислительных систем реального времени (РВС РВ)
Лаборатория вычислительных комплексов
Руководитель:
Смелянский Р.Л.
Участники НИР:
Антоненко В.А.
,
Балаханов В.А.
,
Балашов В.В.
,
Бахмуров А.Г.
,
Волканов Д.Ю.
,
Гамаюнов Д.Ю.
,
Герасёв А.В.
,
Зайцев Д.А.
,
Зайцев Д.А.
,
Зайцев Д.А.
,
Захаров В.А.
,
Зорин Д.А.
,
Козлов Д.Д.
,
Козлов Д.Д.
,
Коннов И.В.
,
Косачева С.А.
,
Костенко В.А.
,
Наградов Е.А.
,
Носеевич Г.М.
,
Пашков В.Н.
,
Подымов В.В.
,
Прус В.В.
,
Савенков К.О.
,
Савенков К.О.
,
Сапожников А.В.
,
Сахаров Ф.В.
,
Сахаров Ф.В.
,
Сахаров Ф.В.
,
Чемерицкий Е.В.
,
Чистолинов М.В.
,
Шалимов А.В.
,
Шестов П.Е.
,
Шестов П.Е.
,
Ющенко Н.В.
24 мая 2010 - 23 ноября 2012
Теория и методы анализа и синтеза дискретных управляющих систем и их приложения
Кафедра математической кибернетики
Руководитель:
Подловченко Р.И.
Ответственные исполнители:
Вороненко А.А.
,
Шуплецов М.С.
Участники НИР:
Баранова М.М.
,
Бескова Е.А.
,
Власов Н.В.
,
Вороненко А.А.
,
Дайняк А.Б.
,
Данилов Б.Р.
,
Дьяконов А.Г.
,
Коноводов В.А.
,
Ложкин С.А.
,
Марченков С.С.
,
Морозов Е.В.
,
Подымов В.В.
,
Попеско У.В.
,
Романов Д.С.
,
Селезнева С.Н.
,
Федорова В.С.
,
Чистиков Д.В.
,
Шуплецов М.С.
,
Яблонская А.Ю.
Награды и премии
2019
Стипендия Московского государственного университетаимени М.В.Ломоносова для молодых преподавателей, научных сотрудников, аспирантов и студентов
Лауреат:
Подымов В.В.
Московский государственный университет имени М.В.Ломоносова, Россия
2017
Премия по Программе развития МГУ
Лауреат:
Подымов Владислав Васильевич
МГУ им.М.В. Ломоносова, ВМК, Россия
2016
Премия по Программе развития МГУ
Лауреат:
Подымов Владислав Васильевич
МГУ им. М.В. Ломоносова, Россия
Участие в программных комитетах конференций
22-25 мая 2018
X Международная конференция "Дискретные модели в теории управляющих систем"
Член организационного комитета
Московская область, Можайский район, Красновидово, Россия
26 июня 2017
Восьмой международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (Program Semantics, Specification and Verification: Theory and Applications, PSSV-2017)
Член организационного комитета
Москва, Россия
24 октября 2016
Научно-образовательный семинар по программе MIPSfpga (Факультет ВМК МГУ им. М.В.Ломоносова, 24 октября 2016 г.)
Член организационного комитета
Москва, Россия
10 ноября 2015
Научно-образовательный семинар по программе MIPSfpga (Факультет ВМК МГУ им. М.В.Ломоносова, 10 ноября 2015 г.)
Член организационного комитета
Москва, Россия
27 октября 2015
Научно-образовательный семинар по программе MIPSfpga (Факультет ВМК МГУ им. М.В.Ломоносова, 27 октября 2015 г.)
Член организационного комитета
Москва, Россия
20-22 мая 2015
IX Международная конференция "Дискретные модели в теории управляющих систем"
Член организационного комитета
Москва и Подмосковье, Россия
Диссертация
2015
Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой
Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
Автор:
Подымов Владислав Васильевич
, к.ф.-м.н., МГУ имени М.В. Ломоносова
Научный руководитель:
Захаров Владимир Анатольевич
, д.ф.-м.н., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.44
при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
Руководство дипломными работами
2021
О базисе логики троичных цифровых сигналов
Научный руководитель:
Подымов В.В.
Автор: Куцак Н.Ю. (Магистр)
2021
Изучение свойств троичной логики линейного времени
Научный руководитель:
Подымов В.В.
Автор: Мушкин И.Е. (Бакалавр)
2020
Бисимуляция систем переходов с реальным временем
Научный руководитель:
Подымов В.В.
Автор: Попков Г.А. (Бакалавр)
2019
Темпоральная логика троичных цифровых сигналов
Научный руководитель:
Подымов В.В.
Автор: Куцак Н.Ю. (Бакалавр)
2018
Разработка универсального практического представления систем переходов для проверки моделей
Научный руководитель:
Подымов В.В.
Автор: Докшина Е.А. (Бакалавр)
Руководство курсовыми работами
2021
О средствах верификации контура данных программно-конфигурируемых сетей
Научный руководитель:
Подымов В.В.
Автор: Прудников О.С. (Бакалавр)
2021
О соответствии логики троичных сигналов и логики первого порядка
Научный руководитель:
Подымов В.В.
Автор: Толстикова В.С. (Бакалавр)
2021
Анализ определений иерархических временных автоматов
Научный руководитель:
Подымов В.В.
Автор: Попков Г.А. (Магистр)
2020
Реализация мультимножеств с помощью решающих диаграмм
Научный руководитель:
Подымов Владислав Васильевич
Автор: Мушкин И.Е. (Бакалавр)
2020
О выразимости операций логики троичных сигналов
Научный руководитель:
Подымов Владислав Васильевич
Автор: Куцак Н.Ю. (Магистр)
2019
О локальности часов временных автоматов
Научный руководитель:
Подымов В.В.
Автор: Попков Г.А. (Бакалавр)
2018
Темпоральная алгебра троичных цифровых сигналов
Научный руководитель:
Подымов В.В.
Автор: Куцак Н.Ю. (Бакалавр)
2017
Сравнение применимости средств верификации для решения комбинаторных задач
Научный руководитель:
Подымов В.В.
Автор: Докшина Е.А. (Бакалавр)
2016
Трансляция иерархических временных автоматов в автоматы UPPAAL для верификации систем реального времени
Научный руководитель:
Подымов В.В.
Автор: Васильев А.В. (Бакалавр)
Авторство учебных курсов
2018
Языки описания схем
Автор:
Подымов В.В.
2018
Modern trends in discrete mathematics and computer science
Авторы:
Захаров В.А.
,
Алексеев В.Б.
,
Подымов В.В.
,
Романов Д.С.
,
Селезнева С.Н.
,
Шуплецов М.С.
,
Чокаев Б.В.
курс на иностранном языке
2017
Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
Авторы:
Подымов Владислав Васильевич
,
Шуплецов Михаил Сергеевич
2016
Практикум по пакетам проектирования сверхбольших интегральных схем
Авторы:
Подымов В.В.
,
Шуплецов М.С.
,
Данилов Б.Р.
2016
Методы верификации программ
Авторы:
Захаров Владимир Анатольевич
,
Подымов Владислав Васильевич
2016
Математические методы верификации схем и программ
Авторы:
Захаров Владимир Анатольевич
,
Подымов Владислав Васильевич
Преподавание учебных курсов
с 1 сентября 2020
Практикум по пакетам проектирования сверхбольших интегральных схем
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
обязательная, вариативной части, лекции, 18 часов
с 1 сентября 2020
Практикум по пакетам проектирования сверхбольших интегральных схем
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
обязательная, вариативной части, семинары, 18 часов
20 февраля 2020 - 20 декабря 2020
Дискретная математика
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
в Филиал МГУ в Ереване (государственная организация, университет, Армения)
обязательная, базовой части, лекции, 36 часов
с 1 сентября 2018
Языки описания схем
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
обязательная, вариативной части, семинары, 18 часов
с 1 сентября 2018
Языки описания схем
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
обязательная, вариативной части, лекции, 18 часов
с 1 сентября 2017
Практикум на ЭВМ (7 семестр)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
обязательная, базовой части, семинары, 12 часов
с 7 февраля 2017
Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
обязательная, вариативной части, практические занятия, 16 часов
с 7 февраля 2017
Математическая логика и теория алгоритмов
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, лекции, 48 часов
с 7 февраля 2017
Математическая логика и теория алгоритмов
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, семинары, 32 часов
с 7 февраля 2017
Практикум на ЭВМ (6 семестр)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
обязательная, базовой части, семинары, 12 часов
с 7 февраля 2017
Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
обязательная, вариативной части, лекции, 32 часов
с 7 февраля 2017
Методы верификации программ
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра автоматизации систем вычислительных комплексов
обязательная, вариативной части, семинары, 36 часов
7 февраля 2017 - 20 мая 2017
Дискретная математика
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, семинары, 36 часов
с 1 сентября 2016
Математические методы верификации схем и программ
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
обязательная, вариативной части, семинары, 18 часов
с 1 сентября 2016
Математическая логика и логическое программирование
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, вариативной части, семинары, 54 часов
1 сентября 2016 - 31 декабря 2018
Практикум по пакетам проектирования сверхбольших интегральных схем
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
обязательная, вариативной части, лекции, 9 часов
1 сентября 2016 - 31 декабря 2018
Практикум по пакетам проектирования сверхбольших интегральных схем
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
обязательная, вариативной части, практические занятия, 9 часов
1 сентября 2016 - 31 декабря 2017
Языки описания схем
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
обязательная, вариативной части, лекции, 18 часов
1 сентября 2016 - 31 декабря 2017
Практикум на ЭВМ (5 семестр)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
обязательная, базовой части, практические занятия, 12 часов
1 сентября 2016 - 31 декабря 2017
Языки описания схем
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
обязательная, вариативной части, семинары, 18 часов
7 февраля 2016 - 20 мая 2016
Дискретная математика
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, семинары, 72 часов
1 сентября 2015 - 30 июня 2016
Математическая логика и логическое программирование
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, вариативной части, семинары, 72 часов
1 сентября 2015 - 21 декабря 2015
Дополнительные главы дискретной математики
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, вариативной части, семинары, 36 часов
с 7 февраля 2015
Математическая логика и логическое программирование
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
обязательная, вариативной части, лекции, 54 часов
с 7 февраля 2015
Математическая логика и логическое программирование
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
обязательная, вариативной части, семинары, 18 часов
7 февраля 2015 - 20 мая 2015
Дискретная математика
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, семинары, 36 часов
1 сентября 2012 - 20 декабря 2014
Математическая логика и логическое программирование
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, вариативной части, семинары, 36 часов
7 февраля 2012 - 20 мая 2012
Дискретная математика
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, семинары, 36 часов