Каких наград удостоился карпов юрий глебович ​

   кандидат технических наук (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)

// pascalabc.net 3.0, сборка 1160 от 05.02.2016 begin   var k: =arrrandom(43,-7,25); k.println;   k.reverse.println; end. тестовое решение 21 4 3 1 -4 2 6 15 6 -7 20 11 1 18 10 20 16 -2 0 25 5 -3 1 24 3 -3 16 22 11 9 12 -1 22 16 6 -5 25 24 23 13 18 6 6 6 6 18 13 23 24 25 -5 6 16 22 -1 12 9 11 22 16 -3 3 24 1 -3 5 25 0 -2 16 20 10 18 1 11 20 -7 6 15 6 2 -4 1 3 4 21