- 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-офи).
- 2008 г. —
- Грант “Участие в 20-м Всемирном компьютерном конгрессе ИФИП” по проекту
“Инновационные образовательные программы и технологии, реализуемые на принципах
партнерства классического университета, науки, бизнеса и государства”.
- 2008 г. —
- Трэвэл грант TC9 IFIP для участия в Международной конференции по истории вычислений
и образования IFIP WCC.
- 2009–2011 гг. —
- “Интерактивная электронная энциклопедия теоретико-графовых алгоритмов
решения задач информатики и программирования”
(Российский фонд фундаментальных исследований, грант
№ 09-07-00012).
- 2012–2014 гг. —
- “Методы и система интерактивной визуализации структурированной
информации на основе иерархических графовых моделей”
(Российский фонд фундаментальных исследований, грант
№ 12-07-00091).
- 2015–2017 гг. —
- “Методы и средства функционального программирования для поддержки облачных супервычислений”
(Российский фонд фундаментальных исследований, грант
№ 15-07-020029).
- 2018–2020 гг. —
- “Методы и средства поддержки применения теоретико-графовых методов
для конструирования эффективных и надежных программ”
(Российский фонд фундаментальных исследований, грант
№ 18-07-00024).
- 2018–2020 гг. —
- “Облачные методы и средства конструирования эффективных и надежных параллельных
программ на основе функциональных спецификаций и семантических преобразований”
(Российский научный фонд, грант
№ 18-11-00118).
