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

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. Математические, системные и прикладные аспекты перспективных информационных технологий и автоматизации проектирования'').