Выигранные гранты

2015 год

Автор Грантодатель Тема Руководитель
К.Д. Вылегжанина Конкурс грантов правительства Санкт-Петербурга 2015г. Применение парадигмы программно-определяемых сетей для разработки программного обеспечения Интернета вещей Богач Н.В.
А.М. Васильев Конкурс грантов правительства Санкт-Петербурга 2015г. Разработка автоматизированных рабочих мест для тестирования аналоговых электронных изделий на основе КДК-ТМ Кочетков Ю.Д.

2011 год

Автор Грантодатель Тема
М.И. Глухих Конкурс грантов правительства Санкт-Петербурга для молодых кандидатов наук 2011г. Разработка методики усовершенствования статического анализа программ с использованием методов дедуктивной верификации
А.В. Захаров Конкурс грантов правительства Санкт-Петербурга для молодых ученых 2011г. Обнаружение ошибок пропуска данных в программах на языке SystemC
М.И. Глухих Грант РФФИ на "Участие молодых российских ученых в научных мероприятиях, проводимых за рубежом 2011" Участие в конференции DEPEND 2011: The Fourth International Conference on Dependability
А.В. Захаров Грант РФФИ на "Участие молодых российских ученых в научных мероприятиях, проводимых за рубежом 2011" Участие в конференции International Symposium on System-on-Chip 2011: Static Analysis Method for Deadlock Detection in SystemC Designs.

2010 год

Автор Грантодатель Тема
М.И. Глухих Конкурс грантов правительства Санкт-Петербурга для молодых кандидатов наук 2010г. Разработка алгоритмов уточнения статического анализа программного кода на основе логико-арифметических зависимостей.
И.В. Стручков Конкурс грантов правительства Санкт-Петербурга для молодых кандидатов наук 2010г. Масштабируемая программная архитектура для организации эффективного планирования и выполнения спорадических вычислительных заданий с зависимостями по данным
В.А. Цесько Конкурс грантов правительства Санкт-Петербурга для студентов и аспирантов 2010г. Исследование методов дедуктивной верификации для автоматического обнаружения дефектов в исходном коде программного обеспечения.
А.В. Захаров Конкурс грантов правительства Санкт-Петербурга для студентов и аспирантов 2010г. Автоматизация построения моделей программ для формальной верификации программных систем. Номер гранта: 3.11/07-06/030
М.Х. Ахин Конкурс грантов правительства Санкт-Петербурга для студентов и аспирантов 2010г. Исследование способов обнаружения клонов исходного кода программного обеспечения.
Д.А. Тимофеев Конкурс грантов правительства Санкт-Петербурга для студентов и аспирантов 2010г. Реализация системы модификации программного кода, основанной на параметризуемых шаблонах. Номер гранта 3.11/07-06/0636

2009 год

Автор Грантодатель Тема
В.А. Цесько Конкурс грантов правительства Санкт-Петербурга для студентов и аспирантов 2009г. Использование бинарных решающих диаграмм для повышения эффективности автоматического обнаружения дефектов в исходном коде программного обеспечения. Номер гранта 3.11/04-05/102.
А.В. Захаров Конкурс грантов правительства Санкт-Петербурга для студентов и аспирантов 2009г. Автоматизация построения моделей программ для формальной верификации программных систем. Номер гранта: 3.11/04-05/111.
М.Х. Ахин Конкурс грантов правительства Санкт-Петербурга для студентов и аспирантов 2009г. Повышение эффективности обнаружения дефектов в программном обеспечении при помощи выборочного регрессионного тестирования

2008 год

Автор Грантодатель Тема
И.В. Стручков Open Solaris Community Innovation Award, 2008 год Sun Microsystems “DVD Authoring System for OpenSolaris”
К.В. Никитин Конкурс грантов 2008 года для молодых научно-педагогических работников
А.Е. Васильев Конкурс грантов 2008 года для молодых научно-педагогических работников

2007 год

Автор Грантодатель Тема Руководитель
В.М. Ицыксон Конкурс грантов правительства Санкт-Петербурга для молодых кандидатов наук 2007г. Автоматизация трансформации программного обеспечения с помощью расширенных семантических графов.Номер гранта: PD07-2.0-194. проф. Мелехин В.Ф.
К.В. Никитин Конкурс грантов правительства Санкт-Петербурга для студентов и аспирантов 2007г. доц. Бендерская Е.Н.
В.А. Цесько Конкурс грантов правительства Санкт-Петербурга для студентов и аспирантов 2007г. Разработка технологии генерации шаблонов распределённых приложений на основе формальной спецификации протоколов. Номер гранта 03/3.11/17-03/54. доц. Ицыксон В.М.
А.С. Одоевский Конкурс грантов правительства Санкт-Петербурга для студентов и аспирантов 2007г. доц. Болсуновская М.В.
Д.В. Горбунов Конкурс грантов правительства Санкт-Петербурга для студентов и аспирантов 2007г. доц. Васильев А.Е.
М.А. Цветков Конкурс грантов правительства Санкт-Петербурга для студентов и аспирантов 2007г. доц. Васильев А.Е.
С.И. Шишигин Конкурс грантов правительства Санкт-Петербурга для студентов и аспирантов 2007г. доц. Васильев А.Е.

2006 год

Автор Грантодатель Тема
В.М. Ицыксон Конкурс грантов правительства Санкт-Петербурга для молодых кандидатов наук 2006г. Синтез графических пользовательских интерфейсов информационных систем на основе композитных моделей. Номер гранта: PD06-2.0-146.

2004 год

Автор Грантодатель Тема
И.В. Стручков Конкурс грантов для поддержки научно-исследовательской работы аспирантов вузов Федерального агентства по образованию 2004 года. Адаптивный метод оптимального распределения нагрузки в многопроцессорной вычислительной системе. Грант № А04-3.16-482

2003 год

Автор Грантодатель Тема
В.М. Ицыксон Конкурс грантов правительства Санкт-Петербурга для молодых кандидатов наук 2003г. Технология разработки программного обеспечения, основанная на семантических и синтаксических инвариантах. Номер гранта: PD03-2.0-109.
И.В. Стручков Конкурс грантов правительства Санкт-Петербурга для аспирантов 2003 г. Архитектура многоканальной мультипроцессорной вычислительной системы для параллельной обработки сигналов. Грант № АСП № 303406.

2002 год

Автор Грантодатель Тема
В.М. Ицыксон Конкурс Министерства образования по фундаментальным исследованиям в области технических наук 2002 г. Технология разработки программного обеспечения, основанная на семантических инвариантах