
Научные интересы: «верификация алгоритмов»Подразделения
22373
+79804892372
Ведущий эксперт: Факультет городского и регионального развития / Центр исследований «Умного города»
27303
Заместитель руководителя департамента, Доцент:
Факультет компьютерных наук
/
Департамент программной инженерии
Старший научный сотрудник:
Факультет компьютерных наук
/
Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)