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

Научные интересы проф. Ю.Г.Карпова связаны с проблемами формальных моделей параллельных процессов, моделированием и анализом распределенных систем, верификацией параллельных и распределенных алгоритмов.

В 1995г. Ю.Г.Карпов создал и с тех пор заведует кафедрой "Распределенные вычисления и компьютерные сети" в Санкт-Петербургском политехническом университете, выпустившей более полутора сотен специалистов в важнейшей области вычислительной науки и техники. Кафедра представляет СПбГПУ в Ассоциации OVUA (Open View University Association), которая под эгидой компании Hewlett Packard объединяет около полутора десятков лучших университетов Европы, имеющих инновационные результаты в области разработки программных систем для управления качеством сервиса в компьютерных сетях. СПбГПУ - единственный Российский университет в этой престижной международной ассоциации. Аналогичную роль играет кафедра и в представлении российской науки в международной ассоциации CoLoS (Conceptual Learning of Science), в которую СПбГПУ также входит как единственный член из России. Эта Ассоциация объединяет девять ведущих вузов из Германии, Великобритании, Франции, Словении и России.

В 1992 г. проф. Ю.Г.Карпов был консультантом компании Хьюлетт-Паккард по формальному анализу и верификации протоколов коммуникации. В период 1993-1995 гг. являлся руководителем проекта, выполнявшегося для Европейских лабораторий фирмы Хьюлетт-Паккард по теме "Спецификация, верификация и анализ производительности распределенной вычислительной архитектуры Snake Farm". В 1996-1998 гг. - руководитель проекта, выполнявшегося для Европейских лабораторий  Хьюлетт-Паккард по теме "Управление качеством сервиса в распределенных системах". В 1999-2001 гг. - руководитель проекта, выполнявшегося для Центра перспективных исследований фирмы IBM по теме "Управление качеством сервиса Net.Commerce сервера в электронной коммерции". В 1999 г. был приглашенным профессором Института параллельных и высокопроизводительных вычислительных систем Штуттгартского Университета (Германия).

Совместно с А.Борщевым и В.Рудаковым основал софтверную компанию XJTechnologies и стал ее президентом. Разработка компании - система имитационного моделирования AnyLogic - является единственной российской софтверной разработкой, успешно конкурирующей на мировом рынке с известными иностранными программными системами в области имитационного моделирования. Программный пакет AnyLogic используется в сотнях компаний во всем мире для прогнозного анализа процессов логистики, бизнеса, социально-экономических систем. Сотни университетов используют AnyLogic для обучения студентов и аспирантов.

Ученые степени и звания

• кандидат технических наук (1971)
• доктор технических наук (1991)
• доцент (1976)
• профессор (1993)
• заслуженный профессор Санкт-Петербургского государственного политехнического университета (2006)

Членство в профессиональных обществах

• член Американского Математического общества (с 1975 г.)
• член Association for Computing Machinery (ACM)
• член IEEE Computer Society
• член программных комитетов нескольких продолжающихся международных конференций, в частности, ИММОД, CoLoS, SEEMAS, РаСТ и других
• член редколлегий журналов "Моделирование и анализ информационных систем", "Научно-технические ведомости СПбГПУ", "Bulletin of the Novosibirsk computing center"
• член двух специализированных советов по защите докторских диссертаций
• эксперт Российского фонда фундаментальных исследований (2012 г.)
• федеральных эксперт научно-технической сферы (ГУ РИНКЦЭ при министерстве промышленности, науки и технологий РФ, свидетельство № 11313707.281)
• член Правления Национального общества имитационного моделирования
• член Научно-Методического Совета   по информатике Министерства образования и науки РФ. Секция фундаментальных основ информатики 

 Другие заслуги

• премия Правительства Санкт-Петербурга за выдающиеся достижения в области высшего и среднего профессионального образования в номинации "Научные достижения, способствующие повышению качества подготовки специалистов и кадров высшей квалификации" (2011)
• премия СПбГПУ за лучшие учебные и научные издания (за монографию "Model Checking. Верификация параллельных и распределенных программных систем") (2011)
• диплом фирмы Интел за научный проект "Верификация взаимодействующих временных автоматов"  (2001)
• инструктор альпинизма (1964)
• кандидат в мастера спорта по альпинизму(1969)

Читаемые курсы

• Математическая логика и теория алгоритмов
• Теория автоматов и формальных языков
• Верификация параллельных и распределенных программных систем