Руководство проектами межгосударственных и государственных научно-технических программ

1981–1985 гг. —
“Разработка методики и системы автоматического конструирования программ на основе оптимизирующих преобразований” (Координационный план НИР АН СССР по проблеме “Системное математическое и программное обеспечение”; направление “Технические и методологические основы программирования”; раздел 1.12.2.4; номер государственной регистрации 01.81.041845).

1986–1990 гг. —
“Разработка теоретических основ и практических методов автоматизации конструирования качественных программ и систем посредством конкретизирующих преобразований” (Координационный план НИР АН СССР по проблеме “Системное математическое и программное обеспечение”; раздел 1.13.4.3; номер государственной регистрации 01.86.0125738).

1989–1991 гг. —
“Разработка специализированных языков и макетов автоматизированного синтеза качественных программы” (Комплексная программа научно-технического прогресса стран-членов СЭВ до 2000 года, приоритетное направление “Электронизация народного хозяйства”; проблема “Развитие технологии разработки и промышленного производства программных средств вычислительной техники”; задание 1.1.6.1.4.).

1990–1993 гг. —
“Разработка теории и методов конкретизации программ на основе аннотирования программ, трансформационного подхода и смешанных вычислений” (Комплексная программа СО АН СССР “Новые поколения вычислительной техники и информационные технологии”; направление “Технология программирования и интеллектуальные системы программирования”; раздел 2.1.2.).

1990–1992 гг. —
“Интеллектуальные средства конструирования программ в рабочем месте программиста (Проект СОКРАТ)” (совместно с Поттосиным И.В.) (Государственная научно–техническая программа “Перспективные информационные технологии”; направление “Искусственный интеллект”; научно-исследовательский проект № 434).

1992–1995 гг. —
“Разработка теоретических основ и практических методов повышения эффективности и надежности программного обеспечения на основе трансформационного подхода и аннотирования программ” (Комплексная программа СО РАН “Математическое моделирование, информационные технологии и вычислительная техника”; раздел 1.6.6 “Теория, методы, программное обеспечение”; номер государственной регистрации 01.9.40004081).

1992–1995 гг. —
“Разработка и исследование систем учебной информатики” (Программа СО РАН “Математическое моделирование; информационные технологии и вычислительная техника”; раздел 1.6.6 “Теория, методы, программное обеспечение”; номер государственной регистрации 01.9.40004090).

1992–1995 гг. —
“Автоматизация конструирования эффективных и надежных программ” (Государственная научная программа “Университеты России”; направление “Фундаментальные проблемы математики и механики”; НТП-2 “Дискретная математика”; раздел 2 “Системное программирование”).

1996–1998 гг. —
“Методы и средства обучения информатике и программированию в рамках многоуровневого образования” (Программа СО РАН “Математическое моделирование, информационные технологии и вычислительная техника”; раздел 1.6.6 “Теория, методы, программное обеспечение”; номер государственной регистрации 01.9.60002064).

1996–1998 гг. —
“Теория оптимизации и конструирования эффективных и надежных программ, в том числе по функциональным и логическим спецификациям, и методология инструментальных средств трансформационного программирования для ЭВМ перспективных архитектур” (Программа СО РАН “Математическое моделирование, информационные технологии и вычислительная техника”; раздел 1.6.6 “Теория, методы, программное обеспечение”; номер государственной регистрации 01.9.60002067).

1998–1999 гг. —
“Подготовка и издание справочника программиста по алгоритмам обработки сводимых графов” (Федеральная целевая программа “Государственная поддержка интеграции высшего образования и фундаментальной науки на 1997–2000 годы”; раздел 4.1 “Издание научной и учебной литературы в области фундаментальных наук, в том числе серии учебников и учебных пособий”).

1999–2001 гг. —
“Разработка научных основ информатики; методы и средства обучения фундаментальным основам информатики и программирования, ориентированные на Internet-технологии”
(Программа СО РАН “2.2.1. Разработка научных основ информатики, информационно-вычислительных систем и сетей; системный анализ”).

1999–2001 гг. —
“Теория и методолoгия трансформационного программирования, поддерживающие автоматизацию построения эффективного и надежного программного обеспечения для ЭВМ перспективных архитектур, включая параллельные” (Программа СО РАН “2.2.6. Параллельные вычисления, системы массового параллелизма, программное обеспечение”).

2002–2004 гг. —
“Исследование формальных моделей и методов описания семантики, спецификации и верификации систем процессов” (Совместно с Замулиным А.В. и Непомнящим В.А.) (Программа СО РАН “2.2.1. Разработка научных основ информатики, информационно-вычислительных систем и сетей; системный анализ”).

2002–2004 гг. —
“Основания информатики, проблемы обучения информатике и программированию” (Совместно с Марчуком А.Г. и Городней Л.В.) (Программа СО РАН “2.2.1. Разработка научных основ информатики, информационно-вычислительных систем и сетей; системный анализ”).

2002–2004 гг. —
“Развитие методов и инструментальной поддержки конструирования, преобразования и трансляции программ” (Программа СО РАН “2.2.8. Архитектура, системные решения и программное обеспечение информационно-вычислительных комплексов новых поколений”).

2004–2006 гг. —
“Методы и средства трансляции и конструирования эффективных и надежных программ” (Программа СО РАН “3. Фундаментальные и технологические проблемы информационных, телекоммуникационных и вычислительных систем; 3.1. Информационное и математическое моделирование в различных областях знаний, задачи поддержки принятия решений, экспертные системы, теоретическое и системное программирование”).

2007–2009 гг. —
“Методы и технологии оптимизирующей трансляции и конструирования качественных программ для перспективных вычислительных систем” (Программа СО РАН “4.6. Архитектура, системные решения, программное обеспечение и информационная безопасность информационно-вычислительных комплексов и сетей новых поколений. Системное программирование; 4.6.2. Математические, системные и прикладные аспекты перспективных информационных технологий и автоматизации проектирования”).

2010–2019 гг. —
“Методы и технологии конструирования эффективного и надежного программного обеспечения для суперкомпьютеров и компьютерных сетей” (Программа СО РАН “IV.39.1. Теоретические и прикладные проблемы создания эффективных надежных программных систем и информационных технологий”, номер госрегистрации: 01201376187, номер научной темы: 0317-2014-0002).