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

Не указана.

Образование

  • 2015 к.ф.-м.н. Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++

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

Всего: 16 статей, 7 тезисов докладов, 1 диссертация, 1 НИР, 1 учебный курс, 1 преподавание учебного курса, 11 докладов на конференциях, 3 свидетельства о регистрации прав на ПО.

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

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

Соавторы: Белеванцев А.А., Беляев М.В., Шимчик Н.В., Аветисян А.И., Журихин Д.М., Борзилов А.И., Дудина И.А., Иванников В.П., Кошелев В.К., Романенков Е.С., Evgeny V., Koryabkin D.A., Бородин А.Е., Избышев А.О., Карцев В., Корябкин Д.Н., Поляков С.В., Рагозина П., Тяжкороб У.