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

верификация программ, машинное обучение, информационная безопасность, математическая логика, теория автоматов.

Образование

  • 1992 к.ф.-м.н. Морфизмы реакции для автоматов в категориях

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

Всего: 53 статьи, 1 тезисы доклада, 15 книг, 1 диссертация, 4 НИР, 32 дипломные работы, 153 курсовые работы, 25 учебных курсов, 81 преподавание учебного курса, 15 докладов на конференциях, 3 членства в программных комитетах, 1 членство в научном обществе.

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

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

Соавторы: Frenkel S.L., Bhavsar V.C., Meystel A., Михеев А.Г., Пятецкий В.Е., Галатенко А.В., Голиков К.А., Дергач П.С., Жук Д.Н., Ищенко Р.А., Курганов Е.А., Мазуренко И.Л., Моисеев С.В., Подколзин А.С.