- 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).