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