next up previous contents
Next: 3 Научные общества, звания, Up: 2 Руководство научными проектами Previous: 2.1 Руководство проектами межгосударственных   Contents

2.2 Руководство грантами

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