• Биография

Образование:

В 1993 году окончил Дальневосточный государственный университет по специальности «Прикладная математика» с присвоением квалификации «математик».

После окончания вуза работал стажёром-исследователем кафедры прикладной математики и механики ДВГУ.

В 1994 году поступил в аспирантуру математико-механического факультета СПбГУ (кафедра теоретической кибернетики). В 1998 году защитил диссертацию и получил степень кандидата физико-математических наук.

 

Опыт работы:

С момента окончания вуза и по настоящее время работает в высшем образовании.
Работал в различных вузах Санкт-Петербурга. С 2009 года является доцентом кафедры «Компьютерные интеллектуальные технологии» и Высшей инженерной школы Санкт-Петербургского политехнического университета Петра Великого. Научный сотрудник лаборатории распознавания образов. На кафедре занимается продвижением и реализацией международных инициатив.

Преподаваемые дисциплины:

  • дискретная математика;

  • математическая логика;

  • структуры данных и алгоритмы.

 

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

  • автоматическое доказательство теорем, автоматизация логических рассуждений;

  • математическая логика и её применение в теории множеств;

  • прикладная криптография и теория кодирования;

  • машинное обучение, интеллектуальный анализ данных;

  • нечёткие множества, нечёткие логики, их приложения в задачах искусственного интеллекта.

 

Член международных научных организаций:

  • The Institute of Research Engineers and Doctors

  • The Association for Symbolic Logic