Винарский Евгений Максимович
- Аспирант: Факультет компьютерных наук / Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)
- Начал работать в НИУ ВШЭ в 2021 году.
Полномочия / обязанности
Научно-исследовательская работа в лаборатории под руководством В.А. Захарова
Дополнительное образование / Повышение квалификации / Стажировки
Участие в школе верификации Лялямбда'21
Обучение в аспирантуре
3-й год обучения
Утвержденная тема диссертации: Свойства автоматов реального времени
Научный руководитель: Захаров Владимир Анатольевич
Утвержденная тема диссертации: Свойства автоматов реального времени
Научный руководитель: Захаров Владимир Анатольевич