- 1992-1993 гг. --
- ``Теоретические основы трансформационного программирования:
модели, методы и эффективные алгоритмы''
(Министерство науки, высшей школы
и технической политики России,
Конкурсный центр грантов по фундаментальным исследованиям
в области автоматики и телемеханики, вычислительной техники,
информатики, метрологии и связи,
Санкт-Петербургский государственный технический университет,
грант № 2-15-2-43).
- 1992-1995 гг. --
- ``Автоматизация конструирования эффективных и надежных
программ''
(Министерство науки, высшей школы
и технической политики России,
Государственная научная программа ``Университеты России'').
- 1993 г. --
- Грант индивидуальной поддержки Международного
научного фонда (Фонд Дж.Сороса).
- 1993-1994 гг. --
- ``Трансформационный подход к конструированию эффективных и
надежных программ: модели, методы и алгоритмы''
(Российский фонд фундаментальных исследований,
грант
№ 93-01-00576).
- 1994 г. --
- ``Программно-аппаратная среда для исследования
трансформационых методов создания эффективного и надежного
программного обеспечения встроенных и параллельных ЭВМ''
(Российский фонд фундаментальных исследований,
грант № 94-01-00816).
- 1994-1995 гг. --
- ``Преподавание фундаментальных основ программирования:
согласование программ курсов и подготовка учебных пособий''
(Государственный комитет РФ по высшему образованию,
Конкурсный центр грантов
в области фундаментального образования, Санкт-Петербургский
государственный технический университет).
- 1995-1996 гг. --
- Подготовка справочника программиста по алгоритмам на графах
``Теория графов: алгоритмы обработки бесконтурных и
регуляризируемых графов''
(Российский фонд фундаментальных исследований,
грант № 95-01-1334).
- 1995-1997 гг. --
- ``Создание информационной системы по оптимизирующим и
реструктурирующим преобразованиям программ для
ЭВМ
параллельных архитектур''
(Российский фонд фундаментальных исследований,
грант № 95-07-19269).
- 1996 г. --
- Грант государственной поддержки ведущих ученых
(Программа государственной поддержки ведущих научных школ,
Миннауки, ГоскомВуз, РФФИ и РГНФ, грант № 96-01-00134).
- 1996-1997 гг. --
- ``Теоретико-графовые методы в программировании''
(Государственный комитет РФ по высшему образованию,
Конкурсный центр грантов по фундаментальным исследованиям
в области автоматики и телемеханики, вычислительной техники,
информатики, метрологии и связи,
Санкт-Петербургский государственный технический университет).
- 1996-1997 гг. --
- ``Формальные методы анализа и преобразования программ''
(Государственный комитет РФ по высшему образованию
Грантовый центр по исследованиям в области математики,
Новосибирский государственный университет).
- 1996-1998 гг. --
- ``Информационная система для гуманитарных исследований в
области музыковедения и истории культуры''
(Российский гуманитарный научный фонд,
грант № 96-04-12030).
- 1997 г. --
- Издание справочника программиста ``Теория графов: алгоритмы
обработки бесконтурных графов''
(Российский фонд фундаментальных исследований,
грант № 97-01-14183).
- 1997 г. --
- ``Участие в 15-м Всемирном конгрессе IMACS по научным
вычислениям, моделированию и прикладной математике ''
(Российский фонд фундаментальных исследований, грант
№ 97-01-10753).
- 1998-1999 гг. --
- ``Теоретико-графовые методы синтеза и оптимизации
программного обеспечения ЭВМ''
(Министерство общего и профессионального образования России,
Конкурсный центр грантов по фундаментальным исследованиям
в области автоматики и телемеханики, вычислительной техники,
информатики, метрологии и связи,
Санкт-Петербургский государственный технический университет).
- 1998-1999 гг. --
- ``Анализ и преобразование программ
на базе теоретико-графовых методов
и трансформационного подхода''
(Министерство общего и профессионального образования России,
Конкурсный центр грантов по фундаментальным исследованиям
в области математики, Новосибирский государственный университет).
- 1998-2000 гг. --
- ``Методы и средства функционального программирования для
поддержки супервычислений''
(Российский фонд фундаментальных исследований,
грант № 98-01-00748).
- 1998 г. --
- ``Участие во 2-й Международной конференции IMACS
по схемам, системам и компьютерам''
(Российский фонд фундаментальных исследований, грант
№ 98-01-11054).
- 2000 г. --
- ``Участие в 16-м Всемирном компьютерном конгрессе IFIP''
(Российский фонд фундаментальных исследований, грант
№ 00-01-10892).
- 2000-2002 гг. --
- ``Электронный толковый словарь по теории графов и ее применению
в информатике и программировании, ориентированный
на работу в среде Интернет''
(Российский фонд фундаментальных исследований, грант
№ 00-07-90296).
- 2001-2002 гг. --
- ``Трансформационный подход к конструированию эффективных и надежных программ:
модели, методы и системы''
(Министерство образования России,
Конкурсный центр грантов по фундаментальным исследованиям
в области автоматики и телемеханики, вычислительной техники,
информатики, метрологии и связи,
Санкт-Петербургский государственный технический университет).
- 2001 г. --
- ``Участие в 5-й Европейской конференции по сопровождению
и реинжинирингу программного обеспечения''
(Российский фонд фундаментальных исследований, грант
№ 01-01-10545).
- 2001-2002 гг. --
- ``Издание курса по программированию на Паскале в заданиях и упражнениях''
(Российский фонд фундаментальных исследований, грант
№ 01-01-14051).
- 2001-2003 гг. --
- ``Методы и инструменты конструирования эффективных и
надежных программ и систем''
(Российский фонд фундаментальных исследований, грант
№ 01-01-00794).
- 2002-2003 гг. --
- ``Графы в программировании: обработка, визуализация и применение''
(Министерство образования России, Научная программа
``Университеты России'').
- 2004 г. --
- ``Разработка вводного курса по программированию''
(Грант Microsoft Research).
- 2005 г. --
- ``Участие в 15-й Международной конференции eChallenges e-2005''
(Российский фонд фундаментальных исследований, грант
№ 05-07-93547).
- 2005 г. --
- ``Участие в Международной конференции EVA London 2005''
(Проект SITE 6-й Рамочной программы Европейской комиссии).
- 2006 г. --
- ``Участие в 10-й Международной конференции WSEAS
по схемам, системам, сетям и компьютерам''
(Российский фонд фундаментальных исследований, грант
№ 06-01-10660).
- 2006 г. --
- ``Разработка алгоритмов и интеллектуального программного
комплекса для исследования регуляторных процессов и
систем управления на генном уровне''
(Грант Международного научного фонда
``Научный потенциал'').
- 2007 г. --
- ``Участие в 6-м Международном конгрессе по индустриальной
и прикладной математике (ICIAM07)''
(Проект ``Инновационные образовательные программы и технологии,
реализуемые на принципах партнерства классического
университета, науки, бизнеса и государства'').
- 2007 г. --
- ``Участие в Европейской конференции по вычислениям''
(Российский фонд фундаментальных исследований, грант
№ 07-07-08065).
- 2007-2008 гг. --
- ``Разработка и реализация интегрированной визуальной среды
конструирования и оптимизации параллельных программ''
(Российский фонд фундаментальных исследований,
грант № 07-07-12050-офи).
