ИСТИНА

Подымов Владислав Васильевич пользователь

МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики, Лаборатория дискретных управляющих систем и их приложений, научный сотрудник, с 23 января 2019

кандидат физико-математических наук с 2015 года

Прежние места работы (Нажмите для отображения)

Соавторы: Захаров В.А., Зорин Д.А., Волканов Д.Ю., Коннов И.В., Чемерицкий Е.В., Глонина А.Б., Антоненко В.А., Куцак Н.Ю., Пашков В.Н., Савенков К.О., Смелянский Р.Л., Попеско У.В., Вдовин П.М. показать полностью..., Алтухов В.С., Герасёв А.В., Молчанов А.Э., Попков Г.А.

36 статей, 17 докладов на конференциях, 4 тезисов докладов, 8 НИР, 3 награды, 6 членств в программных комитетах, 1 диссертация, 3 дипломные работы, 6 курсовых работ, 16 учебных курсов

Количество цитирований статей в журналах по данным Web of Science: 1, Scopus: 8
РИНЦ:

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

• Статьи в сборниках

  • • 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

• Доклады на конференциях

  • • 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, Vladimir Zakharov, Vladislav Podymov, Eugene Chemeritskiy
    • 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., Zakharov V.A., Podymov V.V., Chemeritsky E.V.
    • 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 Международная конференция «Интеллектуальные системы и компьютерные науки», Москва, Россия, 2011

• Тезисы докладов

  • • 2020 Бисимуляционная эквивалентность систем переходов с реальным временем
    • Попков Г.А., Подымов В.В.
    • в сборнике «Тихоновские чтения»: научная конференция: тезисы докладов: посвящается памяти академика Андрея Николаевича Тихонова: 26 – 31 октября 2020 г, серия ТЕЗИСЫ ДОКЛАДОВ, издательство ООО "МАКС Пресс" (Москва), том 1, тезисы, с. 42-42
  • • 2020 О выразимости операций логики троичных цифровых сигналов
    • Куцак Н.Ю., Подымов В.В.
    • в сборнике «Тихоновские чтения»: научная конференция: тезисы докладов: посвящается памяти академика Андрея Николаевича Тихонова: 26 – 31 октября 2020 г, серия ТЕЗИСЫ ДОКЛАДОВ, издательство ООО "МАКС Пресс" (Москва), том 1, тезисы, с. 41-41
  • • 2019 Алгебра троичных цифровых сигналов
    • Куцак Н.Ю., Подымов В.В.
    • в сборнике "Тихоновские чтения": научная конференция: тезисы докладов, место издания МаксПресс Москва, тезисы, с. 102-102
  • • 2011 О проверке эквивалентности последовательных и рекурсивных программ на упорядоченных полугрупповых шкалах
    • Подымов В.В.
    • в сборнике Материалы X Международной конференции "Интеллектуальные системы и компьютерные науки", место издания Издательство механико-математического факультета МГУ Москва, тезисы, с. 295-298

• НИРы

  • • 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 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики

• Руководство дипломными работами

  • • 2020 Бисимуляция систем переходов с реальным временем
    • Научный руководитель: Подымов В.В.
    • Автор: Попков Г.А. (Бакалавр)
  • • 2019 Темпоральная логика троичных цифровых сигналов
    • Научный руководитель: Подымов В.В.
    • Автор: Куцак Н.Ю. (Бакалавр)
  • • 2018 Разработка универсального практического представления систем переходов для проверки моделей
    • Научный руководитель: Подымов В.В.
    • Автор: Докшина Е.А. (Бакалавр)

• Руководство курсовыми работами

  • • 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 часов

---