• 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 году.
  • Научно-педагогический стаж: 29 лет.

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

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

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

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

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

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

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

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

Публикации

20172

201612

201511

201411

20131

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

20123

20111

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

20104

Гранты

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


Опыт работы

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

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

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

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

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

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