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

Не указана.

Образование

  • 2018 к.ф.-м.н. Конструктивные семантики логических языков, основанные на обобщенной вычислимости

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

Всего: 41 статья, 7 тезисов докладов, 1 диссертация, 10 НИР, 1 учебный курс, 4 преподавания курса, 17 докладов на конференциях, 2 научного отчёта.

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

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

Соавторы: Боков Г.В., Плиско В.Е., Novosad V., Алексеев Д.В., Галатенко А.В., Нерсисян С.А., Соколов А.П., Тоневицкий А.Г., Часовских А.А., Бирюкова В.А., Дробышев А.С., Карпов К.В., Митрофанов А.А., Моисеев С.В., Пикулин И.С., Половников В.С., Хусаенов А.А.