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

Не указана.

Образование

  • 2004 к.ф.н. Аналитико-табличная формализация систем временной логики

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

Всего: 28 статей, 13 тезисов докладов, 2 книги, 2 диссертации, 8 НИР, 1 руководство диссертацией, 5 дипломных работ, 13 учебных курсов, 78 преподаваний курсов, 23 доклада на конференциях, 7 членств в редколлегиях сборников, 14 членств в программных комитетах.

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

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

Соавторы: Петрухин Я.И., Зайцев Д.В., Шангин В.О., Беликов А.А., Болотов А.Е., Basso A., Bimbó K., Coniglio M.E., Kubyshkina E., Mruczek-Nasieniewska K., Nasieniewski M., Бащуковски А., Маркин В.И., Слюсарев И.Ю., Урбанский М.