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

Не указана.

Образование

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

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

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

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

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

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