• 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 - Дискретная математика и математическая кибернетика (физ.-мат. науки)

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

Публикации

20182

  • Глава книги Захаров В. А. Полиномиальный алгоритм проверки эквивалентности детерминированных двухленточных автоматов // В кн.: Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды / Под общ. ред.: Д. С. Романов. МГУ, МАКС Пресс, 2018. С. 128-130.
  • Глава книги Захаров В. А., Гнатенко А. Р. Языки спецификаций моделей Крипке на основе темпоральных логик и их выразительные возможности // В кн.: Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды / Под общ. ред.: Д. С. Романов. МГУ, МАКС Пресс, 2018.

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 и в смежных областях.