Next: 3 Научные общества, звания,
Up: 2 Руководство научными проектами
Previous: 2.1 Руководство проектами межгосударственных
  Contents
- 1992-1993 гг.--
- "Теоретические основы трансформационного программирования:
модели, методы и эффективные алгоритмы"
(Министерство науки, высшей школы
и технической политики России,
Конкурсный центр грантов по фундаментальным исследованиям
в области автоматики и телемеханики, вычислительной техники,
информатики, метрологии и связи,
Санкт-Петербургский государственный технический университет,
грант 2-15-2-43).
- 1993-1994 гг.--
- "Трансформационный подход к конструированию эффективных и
надежных программ: модели, методы и алгоритмы"
(Российский фонд фундаментальных исследований,
грант N93-01-00576).
- 1994 г.--
- "Программно-аппаратная среда для исследования
трансформационых методов создания эффективного и надежного
программного обеспечения встроенных и параллельных ЭВМ"
(Российский фонд фундаментальных исследований,
грант N94-01-00816).
- 1994-1995 гг.--
- "Преподавание фундаментальных основ программирования:
согласование программ курсов и подготовка учебных пособий"
(Государственный комитет РФ по высшему образованию,
Конкурсный центр грантов
в области фундаментального образования, Санкт-Петербургский
государственный технический университет).
- 1995-1996 гг.--
- Подготовка справочника программиста по алгоритмам на графах
"Теория графов: алгоритмы обработки бесконтурных и
регуляризируемых графов"
(Российский фонд фундаментальных исследований,
грант N95-01-1334).
- 1995-1997 гг.--
- "Создание информационной системы по оптимизирующим и
реструктурирующим преобразованиям программ для ЭВМ
параллельных архитектур"
(Российский фонд фундаментальных исследований,
грант N95-07-19269).
- 1996 г. --
- Грант государственной поддержки ведущих ученых
(Программа государственной поддержки ведущих научных школ,
Миннауки, ГоскомВуз, РФФИ и РГНФ, грант N96-01-00134).
- 1996-1997 гг.--
- "Теоретико-графовые методы в программировании"
(Государственный комитет РФ по высшему образованию,
Конкурсный центр грантов по фундаментальным исследованиям
в области автоматики и телемеханики, вычислительной техники,
информатики, метрологии и связи,
Санкт-Петербургский государственный технический университет).
- 1996-1997 гг.--
- "Формальные методы анализа и преобразования программ"
(Государственный комитет РФ по высшему образованию
Грантовый центр по исследованиям в области математики,
Новосибирский государственный университет).
- 1996-1998 гг.--
- "Информационная система для гуманитарных исследований в
области музыковедения и истории культуры"
(Российский гуманитарный научный фонд,
грант N 96-04-12030).
- 1997 г. --
- Издание справочника программиста "Теория графов: алгоритмы
обработки бесконтурных графов"
(Российский фонд фундаментальных исследований,
грант N97-01-14183).
- 1997 г. --
- Участие в 15-м Всемирном конгрессе IMACS по научным
вычислениям, моделированию и прикладной математике
(Российский фонд фундаментальных исследований, грант
N97-01-10753).
- 1998-1999 гг.--
- "Теоретико-графовые методы синтеза и оптимизации
программного обеспечения ЭВМ"
(Министерство общего и профессионального образования России,
Конкурсный центр грантов по фундаментальным исследованиям
в области автоматики и телемеханики, вычислительной техники,
информатики, метрологии и связи,
Санкт-Петербургский государственный технический университет).
- 1998-1999 гг.--
- "Анализ и преобразование программ
на базе теоретико-графовых методов
и трансформационного подхода"
(Министерство общего и профессионального образования России,
Конкурсный центр грантов по фундаментальным исследованиям
в области математики, Новосибирский государственный университет).
- 1998-2000 гг.--
- "Методы и средства функционального программирования для
поддержки супервычислений"
(Российский фонд фундаментальных исследований,
грант N98-01-00748).