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

Не указана.

Образование

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

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

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

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

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

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