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

Не указана.

Образование

  • 2004 к.ф.н. Автоматический поиск натурального вывода в классической логике предикатов

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

Всего: 47 статей, 17 тезисов докладов, 2 книги, 1 диссертация, 9 НИР, 8 дипломных работ, 6 учебных курсов, 73 преподавания курса, 25 докладов на конференциях, 7 членств в программных комитетах, 1 оценивание диссертации, 5 наград.

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

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

Соавторы: Петрухин Я.И., Болотов А.Е., Григорьев О.М., Jukiewicz M., Болотов A.E., Попов В.М., Leszczyńska-Jasion D., Mruczek-Nasieniewska K., Горчаков А.Е., Nasieniewski M., Wisniewski A., Бочаров В.А., Beziau J.Y., Bueno-Soler J., Carnielli W., D’Ottaviano I.M., Priest G., Teixeira da Mata J.V., Бащуковски А., Васюков В.Л., Зайцев Д.В., Кожемяченко Д.А., Макаров В.В., Маркин В.И., Микиртумов И.Б., Смирнова Е.Д., Сорина Г.В., Урбанский М.