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

Логика и теоретическая информатика.

Образование

  • 1984 к.ф.-м.н.

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

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

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

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

Соавторы: Артемов С.Н., Плиско В.Е., Constable R., Брюхов Е.Н., Копылов А.П., Ногин А.Ю.