В 2011 г. Институт проводил исследования по следующим грантам

В 2011 г. Институт проводил исследования по следующим грантам:

Проекты РАН и СО РАН:

1. Проект РАН 14/12 – «Формальные языки и методы спецификации, анализа и синтеза информационных систем»

Научный руководитель проекта: д.ф.-м.н. А.Г. Марчук
2. Заказной интеграционный проект СО РАН №1 «Создание программной среды для институтов СО РАН на базе свободно распространяемого ПО и программного обеспечения с открытым исходным кодом в качестве составной части национальной программной платформы». (Совместный проект ИМ СО РАН, ИВМиМГ СО РАН, ИСИ СО РАН при технической поддержке компании «ИКСТЕХ»).

Научный руководитель проекта (от ИСИ): д.ф.-м.н. А.Г. Марчук
3. Междисциплинарный проект СО РАН №111 «Интеллектуальный компьютерный анализ научных текстов для поиска, извлечения и интеграции знаний: приложение к катализу в химии и биологии». (Совместный проект ИЦИГ СО РАН, ИК СО РАН, ИСИ СО РАН, ГПНТБ СО РАН, Институт лингвистических исследований РАН, Санкт-Петербург, НИВЦ МГУ имени Ломоносова).

Научный руководитель проекта (от ИСИ) — к.т.н. Ю.А. Загорулько
Грант Президента РФ № MK-2037.2011.9 для молодых ученых

Научный руководитель: к.ф.-м.н. Д.К. Пономарев
Гранты РФФИ:
1. Проект РФФИ 11-01-00028-а "Интегрированный мультиязыковый подход к верификации императивных программ"

Руководитель: к.ф.-м.н. Непомнящий В.А.
2. Проект РФФИ 09-01-00361 а «Автоматическая верификация программ с использованием булевских решателей».

Руководитель: к.ф.-м.н. Шилов Н.В.
3. Проект РФФИ 11-07-90412-Укр_ф_а «Интегрированный подход к анализу и верификации спецификаций телекоммуникационных приложений для однопроцессорных и многопроцессорных систем»

Иностранный партнер: Институт кибернетики им. В. М. Глушкова НАН Украины

Руководители проекта: Баранов С.Н. (Санкт-Петербургский государственный политехнический университет), Летичевский А.А. (Институт кибернетики им. В. М. Глушкова НАН Украины).

Руководитель группы ИСИ СО РАН: к.ф.-м.н. Непомнящий В.А.
4. Проект РФФИ №10-01-00532-а «Исследование интеллектуальных мультиагентных систем: поведенческие, логические и лингвистические аспекты». Головная организация – Учреждение Российской академии наук Институт системного анализа Российской академии наук (ИСА РАН).

Руководитель проекта: Валиев Марс Котдусович.

Исполнитель от ИСИь: к.ф.-м.н. Шилов Н.В.
5. Проект РФФИ 09-07-00012 «Интерактивная электронная энциклопедия теоретико-графовых алгоритмов решения задач информатики и программирования»,

Руководитель: д.ф.-м.н. Касьянов В.Н.
6. Проект РФФИ 11-01-90901-моб_снг_ст «Научная работа Турсунбай Ырысгуль из Кыргызской Республики, Иссык-Кульского государственного университета, г. Каракол, в Институте Систем Информатики им. А.П. Ершова СО РАН, г. Новосибирск. "Динамические и распределенные алгоритмы для анализа граф моделей систем"».

Руководитель: д.ф.-м.н., профессор В.А. Евстигнеев
7. Проект РФФИ № 09-07-00400а “Исследование и разработка методов и средств анализа и визуализации разнородных знаний больших информационных порталов“.

Руководитель: к.т.н. Загорулько Ю.А.
8. Проект РФФИ №11-07-00388-а "Методы и технологии применения Semantic Web и Linked Data для поддержки научных исследований"

Руководитель: д.ф.-м.н. Марчук А.Г.
9. Проект РФФИ № 11-07-00560а «Разработка Data Mining plug-in Discovery для Microsoft SQL-server».

Руководитель: д.ф.-м.н. Витяев Е.Е.

Исполнитель от ИСИ: к.ф.-м.н. Демин А.В.
Гранты Российского гуманитарного научного фонда:
1. Проект РГНФ 10-04-12108в «Разработка двуязычного тезауруса по компьютерной лингвистике»

Руководитель: к.т.н. Загорулько Ю.А.
2. Проект РГНФ 10-03-12116в «Электронная система поддержки исторической фактографии: наполнение и развитие»

Руководитель: д.ф.-м.н. Марчук А.Г.
Прочие гранты
1. Грант по программа «УМНИК»

Проект №10219 «Разработка системы извлечения знаний “Discovery” для анализа финансовых рынков»

Руководитель: к.ф.-м.н. Демин А.В.