RUS ENG

Карпов Юрий Глебович

Доктор технических наук, профессор, заведующий кафедрой "Распределенные вычисления и компьютерные сети" СПбГПУ

Адрес: 194021, Санкт-Петербург, ул. Политехническая, д. 21, оф. 100

e-mail: karpov(at)dcn.ftk.spbstu.ru

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

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

В 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)

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

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

Образовательные материалы

Публикации

References
37.
Карпов, Ю. Г.
Синдром “146%”: некомпетентность или злой умысел?
Открытые системы, (5)
2014
36.
Карпов, Ю.
Повышение качества программных систем.
Труды Санкт-Петербургского научного форума “Наука и общество. Наука и прогресс человечества. VII Петербургская встреча лауреатов Нобелевских премий”.
September 2012
35.
Карпов, Ю.
Новая жизнь верификации
Открытые системы. СУБД, (3)
2012
34.
Карпов, Ю.Г.
Устойчивое развитие общества и обеспечение качества программных систем управления.
Научно-технические ведомости СПбГПУ, №3.1(154):71-73
2012
33.
Glebovsky, A., Karpov, Y., Senichenkov, Y., Trifonov, P.; Ivanov, V.
On approaches to renovation of instructional methods and tools for STEM education in international setting
Труды Международной конференции: "Международное сотрудничество в инженерном образовании"
2012
32.
Беляев, А.Н., Ивановский, Р.И., Карпов, Ю.Г.; Сотников, К.А.
Smart grid. Разработка приложений
Научно-технические ведомости СПбГПУ, №6.1(138):115-121
2011
31.
Сотников, К.А., Ивановский, Р.И., Беляев, А.Н.; Карпов, Ю.Г.
Роль имитационного моделирования в задачах внедрения технологий SmartGrid
Имитационное моделирование. Теория и практика. - СПб., ОАО "ЦТСС", :65-74
2011
30.
Карпов, Ю.Г.; Шошмина, И.В.
Верификация распределенных систем
Publisher: СПбГПУ,
2011
29.
Шошмина, И.В.; Карпов, Ю.Г.
Введение в язык Promela и систему комплексной верификации Spin
Publisher: СПбГПУ, Санкт-Петербург
2010
28.
Карпов, Ю.Г.
Технология программирования. Верификация параллельных и распределенных программ
Publisher: Изд-во Политехнического университета,
2010
ISBN: 978-5-7422-2422-8
27.
Карпов, Ю.Г.
Model Checking. Верификация параллельных и распределенных программных систем
Publisher: БХВ-Петербург,
2010
ISBN: 978-5-9775-0404-1
26.
Карпов, Ю.Г.
Обеспечение качества программных систем управления
Материалы XIV Всероссийской конференции "Фундаментальные исследования и инновации в национальных исследовательских университетах". Пленарные доклады , page 88-92.
СПб.
2010
25.
Самочадин, А.В.; Карпов, Ю.Г.
Методика конкретизации процессов предоставления государственных услуг
"Интернет и современное общество": Труды XIII Всероссийской объединенной конференции , page 232-234.
СПб.
2010
ISBN: 978-5-903811-06-9
24.
Шошмина, И.В.; Карпов, Ю.Г.
Технология проектирования и верификации распределенных бортовых систем
Материалы международного семинара PSSV
Казань
2010
23.
Карпов, Ю.Г.; Самочадин, А.В.
Методика конкретизации процессов исполнения государственных услуг и бизнес-процессов
Региональная информатика РИ-2010: Труды международной конференции
СПб
2010
22.
Карпов, Ю.Г.
Темпоральные логики для спецификации свойств программных и аппаратных систем
Компьютерные инструменты в образовании, №2:45-56
2009
21.
Карпов, Ю.Г.; Трифонов, П.В.
Сложность алгоритмов и программ
Компьютерные инструменты в образовании, №6:4-10
2007
20.
Жирнова, Н.М.; Карпов, Ю.Г.
Моделирование исторических процессов в школьной информатике
Компьютерные инструменты в образовании, №5:41-48
2007
19.
Karpov, Y.G., Ivanovsky, R.I.; Sotnikov, K.A.
Application of Simulation Approaches to Creation of Decision Support Systems for IT Service Management
LNCS, v.4671:553-558
2007
18.
Карпов, Ю.Г.
Теория и технология программирования. Основы построения трансляторов
Publisher: БХВ,
2007
17.
Карпов, Ю.Г.
Имитационное моделирование систем. Введение в моделирование с AnyLogic 5
Publisher: БХВ,
2006
16.
Schmid, M., Schaefer, J., Kroeger, R., Sotnikov, K.; Karpov, Y.
Combining Application Instrumentation and Simulation to Forecast Costs and Revenue in Application Service Provisioning Scenarios
Proceedings of the 13th Annual Workshop of HP OpenView University Association, University of Nice at Cote d'Azur,May 21-24
2006
15.
Карпов, Ю.Г.
Теория автоматов
Publisher: Питер,
2005
14.
Karpov, Yu., Ivanovski, I., Popov, D.; Voropaj, N.
Hierarchical Modeling of Electric power System Expansion by AnyLogic Simulation Software
IEEE Conf. on Electric Power Systems, St. Petersburg
2005
13.
Karpov, Yu., Bolshakov, K.; Sintotskij, A.
DEALed - A Tool Suite for Distributed Real-Time Systems Development
LNCS, v. 2126:497-502
1999
12.
Borshchev, A.V., Bolshakov, K.R., Karpov, Yu.G., Rudakov, V.V.; Filippov, A.E.
Creating and Running Mobile Agents with XJ DOME
LNCS, v. 2126:410-416
1999
11.
Borshchev, A.V., Bolshakov, K.R., Karpov, Yu.G.; Filippov, A.E.
Dome - an Environment for the Development and Usage of Mobile Agents
Proceedings of the 1st International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS'99, June 1-4, St. Petersburg, Russia
1999
10.
Войнов, В.В.; Карпов, Ю.Г.
Управление качеством сервиса в распределенных системах
журнал РАН "Информационные технологии и вычислительные системы", №1:78-85
1998
9.
Карпов, Ю.Г.
Теория алгоритмов и автоматов
Publisher: Нестор, С.Петербург,
1998
8.
Borshchev, A., Karpov, Yu.; Rudakov, V.
Analysis of a Distributed Election Algorithm Using COVERS 3.0 - a Case Study
LNCS, v. 1277:175-188
1997
7.
Borshchev, A., Karpov, Yu.; Rudakov, V.
System Modeling, Simulation and Analysis using COVERS Active Objects
Engineering of Computer-Based Systems, Monterey, CA , page 220-227.
1997
6.
Hagin, A., Voinov, V.; Karpov, Yu.
Quality of service management of the World Wide Web
Proceedings of the 4th Workshop of the HP OpenView University Association (OVUA'97), Madrid
1997
5.
Borshchev, A., Karpov, Yu.; Rudakov, V.
COVERS 3.0 - An Object Oriented Environment for Modeling, Simulation and Analysis of Real-Time Concurrent Systems
Proceedings of the 1st International Workshop on Distributed Interactive Simulation, Eilat, Israel, IEEE Computer Society Press , page 39-44.
1997
4.
Карпов, Ю.Г., Борщев, А.В.; Рудаков, В.В.
О корректности параллельных алгоритмов
журнал РАН "Программирование", №4:5-17
1996
3.
Карпов, Ю.Г.
Анализ корректности параллельной программы разделения множеств
журнал РАН "Программирование", №6:27-33
1996
2.
Karpov, Yu.
Real-Time Concurrent System Modeling Environment
Proceedings of A. Ershov 2nd Int. Memorial Conference on Perspectives of System Informatics, Novosibirsk
1996
1.
Borshchev, A., Karpov, Yu.; Rudakov, V.
COVERS - A Tool for the Design of Real-Time Concurrent Systems
LNCS, v. 964:219-232
1995