• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
+7(495) 772-9590
Электронная почта:
Адрес: Кочновский пр., д. 3, каб. 417а
Время присутствия: Понедельник
SPIN РИНЦ: 7560-6811
ORCID: 0000-0002-3794-9565
ResearcherID: G-8304-2014
Scopus AuthorID: 35496961400
Google Scholar
Руководитель
Ломазова И. А.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.

Захаров Владимир Анатольевич

  • Начал работать в НИУ ВШЭ в 2015 году.
  • Научно-педагогический стаж: 30 лет.

Образование, учёные степени

  • 2012
    Доктор физико-математических наук
  • 1982

    Специалитет: Московский государственный университет им. М. В. Ломоносова, специальность «Прикладная математика»

Научный руководитель диссертационных исследований

на соискание учёной степени кандидата наук
1

2015 Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой 

Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)

Подымов Владислав Васильевич, МГУ имени М.В. Ломоносова

Публикации

20187

  • Статья Gnatenko A. R., Zakharov V. On the Model Checking of Finite State Transducers over Semigroups // Proceedings of the Institute for System Programming of the RAS. 2018. Vol. 30. No. 3. P. 303-324. doi
  • Глава книги Zakharov V., Gnatenko A. R. On the expressive power of some extensions of Linear Temporal Logic, in: Proceedings of 9th Workshop “Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2018), Yaroslavl, Russia, June 21-22, 2018 / Ed. by V. Zakharov, Н. В. Шилов. Yaroslavl : Ярославский государственный университет им. П.Г. Демидова, 2018. P. 29-36 .
  • Книга Proceedings of 9th Workshop “Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2018), Yaroslavl, Russia, June 21-22, 2018 / Ed. by V. Zakharov, Н. В. Шилов. Yaroslavl : Ярославский государственный университет им. П.Г. Демидова, 2018.
  • Статья Захаров В. А., Аббас М. М. Даже простые процессы pi-исчисления трудны для анализа // Моделирование и анализ информационных систем. 2018. Т. 25. № 6. С. 589-606. doi
  • Статья Захаров В. А., Гнатенко А. Р. О выразительных возможностях некоторых расширений линейной темпоральной логики // Моделирование и анализ информационных систем. 2018. Т. 25. № 5. С. 506-524. doi
  • Глава книги Захаров В. А. Полиномиальный алгоритм проверки эквивалентности детерминированных двухленточных автоматов // В кн.: Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды / Под общ. ред.: Д. С. Романов. МГУ, МАКС Пресс, 2018. С. 128-130.
  • Глава книги Гнатенко А. Р., Захаров В. А. Языки спецификаций моделей Крипке на основе темпоральных логик и их выразительные возможности // В кн.: Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды / Под общ. ред.: Д. С. Романов. МГУ, МАКС Пресс, 2018. С. 131-133.

20177

201611

201511

201411

20131

Статья Захаров В. А., Смелянский Р. Л., Чемерицкий Е. В. Формальная модель и задачи верификации программно-конфигурируемых сетей // Моделирование и анализ информационных систем. 2013. Т. 20. № 6. С. 33-48.

20123

20111

Статья Захаров В. А., Новикова Т. А. Применение алгебры подстановок для унификации программ // Труды Института системного программирования РАН. 2011. Т. 21. С. 141-166.

20104

Участие в редколлегиях научных журналов

С 2016 г.: член редколлегии журнала «Моделирование и анализ информационных систем».

Гранты

Грант РФФИ 15-01-05742 "Теория схем программ в задачах оптимизации, верификации и реорганизации последовательных и параллельных программ"


Опыт работы

Московский государственный университет им. М.В. Ломоносова, факультет ВМК, 1986 - наст. время.

Институт прикладной математики им. М.В. Келдыша, 1991-2004.

Институт системного программирования, 2000 - наст. время

Национальный Исследовательский Университет "Высшая школа экономики", 2015 - наст. время. 

Выездной семинар «Процессно-ориентированные информационные системы»

27-29 ноября в учебном центре «Вороново» состоялся выездной семинар «Процессно-ориентированные информационные системы» научно-учебной лаборатории ПОИС под руководством профессора И.А.Ломазовой. В мероприятии приняли участие сотрудники лаборатории и исследователи из Москвы и Ярославля. Участники семинара обсудили актуальные научные исследования в области process mining и в смежных областях.