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

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”

2007 год

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

2006 год

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

2004 год

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

2003 год

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

2002 год

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