• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
27867
Адрес: АУК "Покровский бульвар", Покровский б-р, д. 11, каб. T923
Время присутствия: По требованию
Руководитель
Ломазова И. А.
Версия для печати

 

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

Винарский Евгений Максимович

  • Начал работать в НИУ ВШЭ в 2021 году.

Полномочия / обязанности

Научно-исследовательская работа в лаборатории под руководством В.А. Захарова

Дополнительное образование / Повышение квалификации / Стажировки

Участие в школе верификации Лялямбда'21

Обучение в аспирантуре

2-й год обучения
Утвержденная тема диссертации: Свойства автоматов реального времени
Научный руководитель: Захаров Владимир Анатольевич

Публикации1

Статья Vinarskii E., Zakharov V. On the Modeling of Sequential Reactive Systems by Means of Real Time Automata / Пер. с рус.: V. Zakharov. // Automatic Control and Computer Sciences. 2021. Vol. 55. No. 7. P. 751-762. doi

Опыт работы

1) ООО Крипто-Про | инженер-аналитик февраль 2019 – сентябрь 2019

2) ИСП РАН | стажёр-аналитик февраль 2020 – наст.время