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

Не указана.

Образование

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

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

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

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

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

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