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

Не указана.

Образование

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

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

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

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

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

Соавторы: Петрухин Я.И., Болотов А.Е., Григорьев О.М., 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., Бащуковски А., Васюков В.Л., Зайцев Д.В., Кожемяченко Д.А., Макаров В.В., Маркин В.И., Микиртумов И.Б., Смирнова Е.Д., Сорина Г.В., Урбанский М.