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)

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

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

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

Публикации

Публикации
37.
Ю. Г. Карпов
Синдром “146%”: некомпетентность или злой умысел?
Открытые системы, (5)
2014
36.
Ю. Карпов
Повышение качества программных систем.
Труды Санкт-Петербургского научного форума “Наука и общество. Наука и прогресс человечества. VII Петербургская встреча лауреатов Нобелевских премий”.
September 2012
35.
Ю. Карпов
Новая жизнь верификации
Открытые системы. СУБД, (3)
2012
34.
Ю.Г. Карпов
Устойчивое развитие общества и обеспечение качества программных систем управления.
Научно-технические ведомости СПбГПУ, №3.1(154):71-73
2012
33.
A. Glebovsky, Y. Karpov, Y. Senichenkov, P. Trifonov , V. Ivanov
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.
Ю.Г. Карпов , И.В. Шошмина
Верификация распределенных систем
Издательство: СПбГПУ,
2011
29.
И.В. Шошмина , Ю.Г. Карпов
Введение в язык Promela и систему комплексной верификации Spin
Издательство: СПбГПУ, Санкт-Петербург
2010
28.
Ю.Г. Карпов
Технология программирования. Верификация параллельных и распределенных программ
Издательство: Изд-во Политехнического университета,
2010
ISBN: 978-5-7422-2422-8
27.
Ю.Г. Карпов
Model Checking. Верификация параллельных и распределенных программных систем
Издательство: БХВ-Петербург,
2010
ISBN: 978-5-9775-0404-1
26.
Ю.Г. Карпов , А.В. Самочадин
Методика конкретизации процессов исполнения государственных услуг и бизнес-процессов
Региональная информатика РИ-2010: Труды международной конференции
СПб
2010
25.
А.В. Самочадин , Ю.Г. Карпов
Методика конкретизации процессов предоставления государственных услуг
"Интернет и современное общество": Труды XIII Всероссийской объединенной конференции , page 232-234.
СПб.
2010
ISBN: 978-5-903811-06-9
24.
Ю.Г. Карпов
Обеспечение качества программных систем управления
Материалы XIV Всероссийской конференции "Фундаментальные исследования и инновации в национальных исследовательских университетах". Пленарные доклады , page 88-92.
СПб.
2010
23.
И.В. Шошмина , Ю.Г. Карпов
Технология проектирования и верификации распределенных бортовых систем
Материалы международного семинара PSSV
Казань
2010
22.
Ю.Г. Карпов
Темпоральные логики для спецификации свойств программных и аппаратных систем
Компьютерные инструменты в образовании, №2:45-56
2009
21.
Y.G. Karpov, R.I. Ivanovsky , K.A. Sotnikov
Application of Simulation Approaches to Creation of Decision Support Systems for IT Service Management
LNCS, v.4671:553-558
2007
20.
Н.М. Жирнова , Ю.Г. Карпов
Моделирование исторических процессов в школьной информатике
Компьютерные инструменты в образовании, №5:41-48
2007
19.
Ю.Г. Карпов , П.В. Трифонов
Сложность алгоритмов и программ
Компьютерные инструменты в образовании, №6:4-10
2007
18.
Ю.Г. Карпов
Теория и технология программирования. Основы построения трансляторов
Издательство: БХВ,
2007
17.
Ю.Г. Карпов
Имитационное моделирование систем. Введение в моделирование с AnyLogic 5
Издательство: БХВ,
2006
16.
M. Schmid, J. Schaefer, R. Kroeger, K. Sotnikov , Y. Karpov
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.
Ю.Г. Карпов
Теория автоматов
Издательство: Питер,
2005
14.
Yu. Karpov, I. Ivanovski, D. Popov , N. Voropaj
Hierarchical Modeling of Electric power System Expansion by AnyLogic Simulation Software
IEEE Conf. on Electric Power Systems, St. Petersburg
2005
13.
A.V. Borshchev, K.R. Bolshakov, Yu.G. Karpov, V.V. Rudakov , A.E. Filippov
Creating and Running Mobile Agents with XJ DOME
LNCS, v. 2126:410-416
1999
12.
Yu. Karpov, K. Bolshakov , A. Sintotskij
DEALed - A Tool Suite for Distributed Real-Time Systems Development
LNCS, v. 2126:497-502
1999
11.
A.V. Borshchev, K.R. Bolshakov, Yu.G. Karpov , A.E. Filippov
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.
Ю.Г. Карпов
Теория алгоритмов и автоматов
Издательство: Нестор, С.Петербург,
1998
8.
A. Borshchev, Yu. Karpov , V. Rudakov
Analysis of a Distributed Election Algorithm Using COVERS 3.0 - a Case Study
LNCS, v. 1277:175-188
1997
7.
A. Borshchev, Yu. Karpov , V. Rudakov
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
6.
A. Hagin, V. Voinov , Yu. Karpov
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.
A. Borshchev, Yu. Karpov , V. Rudakov
System Modeling, Simulation and Analysis using COVERS Active Objects
Engineering of Computer-Based Systems, Monterey, CA , page 220-227.
1997
4.
Ю.Г. Карпов
Анализ корректности параллельной программы разделения множеств
журнал РАН "Программирование", №6:27-33
1996
3.
Ю.Г. Карпов, А.В. Борщев , В.В. Рудаков
О корректности параллельных алгоритмов
журнал РАН "Программирование", №4:5-17
1996
2.
Yu. Karpov
Real-Time Concurrent System Modeling Environment
Proceedings of A. Ershov 2nd Int. Memorial Conference on Perspectives of System Informatics, Novosibirsk
1996
1.
A. Borshchev, Yu. Karpov , V. Rudakov
COVERS - A Tool for the Design of Real-Time Concurrent Systems
LNCS, v. 964:219-232
1995

Контактная информация

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

Тел./факс: +7-812-2971639

Кафедра расположена на 1 этаже 9 корпуса СПбГПУ.

 Зав. кафедрой проф. Карпов Юрий Глебович


Ближайшие события

29.06.2016 Учебный процесс:

Недавние обновления

Aktuell liegen keine neuen Inhalte vor.