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

Не указана.

Образование

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

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

Всего: 24 статьи, 13 тезисов докладов, 1 книга, 1 диссертация, 7 НИР, 5 дипломных работ, 10 учебных курсов, 41 преподавание учебного курса, 20 докладов на конференциях, 6 членств в редколлегиях сборников, 12 членств в программных комитетах.

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

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

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