Определить, какие из высказываний являются тождественно истинными:

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