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

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

Образование

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

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

Всего: 52 статьи, 1 тезисы доклада, 14 книг, 1 диссертация, 4 НИР, 32 дипломные работы, 134 курсовые работы, 24 учебных курса, 77 преподаваний курсов, 11 докладов на конференциях, 3 членства в программных комитетах, 1 членство в научном обществе.

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

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

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