Область научных интересов

Не указана.

Образование

  • 2015 к.ф.-м.н. Формальные модели и верификация свойств программ с использованием промежуточного представления

Результаты деятельности

Всего: 25 статей, 20 тезисов докладов, 1 диссертация, 9 НИР, 2 дипломные работы, 1 курсовая работа, 2 учебных курса, 3 преподавания курса, 32 доклада на конференциях, 2 свидетельства о регистрации прав на ПО, 6 научных отчётов, 1 членство в диссертационном совете, 1 награда.

Количество цитирований статей в журналах по данным Scopus: 9, Web of Science: 3

Просмотреть публикации »

Соавторы: Васенин В.А., Роганов В.А., Шачнев Д.А., Занчурин М.А., Козицын А.С., Зензинов А.А., Крошилин А.Е., Крошилин В.Е., Коршунов А.А., Рагулин А.Д., Антонов С.В., Астапов И.С., Афонин С.А., Заславский Д.Д., Иткес А.А., Майданик В.Н., Махортов С.Д., Пучков Ф.М., Шульгин Е.В., Шундеев А.С., Явтушенко Е.Д.