Адрес:

109004, г. Москва,
ул. А. Солженицына,
дом 25.

Схема проезда

Факс:

+7(495) 912-15-24

E-mail:

info-isp@ispras.ru

Текущие гранты

1. Гранты Российского фонда фундаментальных исследований.

06-01-00442 Жданов Александр Аркадьевич. «Построение вероятностных систем автономного адаптивного управления».

06-01-00503 Бурдонов Игорь Борисович. «Теоретические исследования и экспериментальная реализация методов обфускации для информационной защиты программ».

06-07-89119 Аветисян Арутюн Ишханович. «Исследование и разработка технологии решения вычислительно-сложных задач на базе распределенных вычислительных ресурсов».

06-07-89261 Липаев Владимир Васильевич. «Функциональная стандартизация верификаций, тестирования и оценки рисков программных средств».

06-07-89098 Карпов Леонид Евгеньевич. «Разработка системы адаптивного управления многомерным процессом на основе методов вывода по прецедентам».

06-01-08061-офи Жданов Александр Аркадьевич. «Разработка адаптивных компонент систем управления для прикладных робототехнических устройств».

06-07-08073-офи Иванников Виктор Петрович. «Создание инструментальных средств для быстрой разработки приложений баз XML-данных».

06-01-00584 Захаров Владимир Анатольевич. «Теоретические исследования и экспериментальная реализация методов обфускации для информационной защиты программ».

07-07-06015 Кузнецов Сергей Дмитриевич, Новиков Борис Асенович. «Организация и проведение симпозиума молодых исследователей в области баз данных и информационных систем, руководители».

07-07-06017 Петренко Александр Константинович, Терехов Андрей Николаевич. «Организация и исследование симпозиума молодых исследователей в области программной инженерии».

07-01-00427 Семенов Виталий Адольфович. «Коллективная программная инженерия на основе семантической реинтеграции UML моделей».

07-07-00243 Шнитман Виктор Зиновьевич. «Верификация функций безопасности протокола нового поколения IPsec v2».

08-01-00561 а Гайсарян Сергей Суренович. «Инструментальная поддержка процесса разработки больших научно-технических приложений».

08-07-91850 КО_а Иванников Виктор Петрович. «Компиляция программ для высокопроизводительных встраиваемых процессоров».

08-07-00279_а Иванников Виктор Петрович. «Исследование и разработка системы автоматического обнаружения дефектов в исходом коде программ».

08-01-00889 а Петренко Александр Константинович. «Тестирование моделей конвейерных микропроцессоров 2008 – 2010 гг.».

08-07-6025 г Петренко Александр Константинович. «Организация и проведение симпозиума молодых исследователей в области программной инженерии».

08-07-00195 а Кузнецов Сергей Дмитриевич. «Исследование и разработка методов навигации и поиска в больших коллекциях XML-документов».

08-07-12010 офи Томилин Александр Николаевич. «Создание средств поиска, навигации и интеллектуального анализа текстов в электронных коллекциях на основе эталонных наборов документов».

2. Гранты Президента РФ на поддержку молодых российских ученых и ведущих научных школ.

НШ-6382.2008.9 Иванников Виктор Петрович. «Исследование и разработка теории и приложений системного программирования».

3. Программа фундаментальных исследований Президиума РАН «Математические и алгоритмические проблемы информационных систем нового поколения»

Кузнецов Сергей Дмитриевич «Исследование и разработка расширенных средств XML-СУБД для разработки эффективных приложений».

Семенов Виталий Адольфович «Оптимистические стратегии управления данными в перспективных прикладных интегрированных системах».

4. Программа №15 фундаментальных исследований Президиума РАН «Разработка фундаментальных основ создания научной распределенной информационно-вычислительной среды на основе технологий GRID».

Иванников Виктор Петрович «Исследование и разработка технологии решения вычислительно-сложных задач в инфраструктуре Grid».

Шнитман Виктор Зиновьевич «Проблемно-ориентированные методы автоматизированной верификации распределенных систем».

5. Программа №14 фундаментальных исследований Президиума РАН «Высокопроизводительные вычисления и многопроцессорные системы».

Иванников Виктор Петрович «Исследование и разработка технологии параллельного программирования, обеспечивающей кроссплатформенную разработку и учитывающей особенности современной аппаратуры».

Томилин Александр Николаевич «Исследование и разработка методов динамического и полустатического анализа параллельных программ для их описания».

6. Программа фундаментальных исследований №3 ОМН РАН «Современные вычислительные и информационные технологии решения больших задач».

Аветисян Арутюн Ишханович «Набор инструментальных средств, поддерживающих разработку параллельных Фортран-программ на инструментальной машине».

7. Программа № 14 фундаментальных исследований Президиума РАН «Фундаментальные проблемы информатики и информационных технологий»

Ледовских Илья Николаевич «Разработка вычислительного ядра моделирования теплового движения молекул воды».