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

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

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

1. Интеграционный проект СО РАН 15/10 «Математические и методологические аспекты интеллектуальных информационных систем».

Руководитель Марчук А.Г.
2. Интеграционный проект №3 СО РАН (ИСИ, ИМ, ИФиП) «Принципы построения онтологии на основе концептуализаций средствами логических дескриптивных языков»

Руководители – академик Ю.Л. Ершов, д.ф.-м.н А.Г. Марчук, д.ф.-м.н. В.В, Целищев.
3. Интеграционный проект СО РАН № 136 «Исследование информационных и молекулярно-генетических механизмов функционирования сетей нейронов на основе экспериментально-компьютерных подходов».

Научный руководитель проекта:  акад. Колчанов А.Н.

Ответственный исполнитель от ИСИ:   к.ф.-м.н. Пальянов А.Ю.
4. Междисциплинарный интеграционный проект №21 «Исследование закономерностей и тенденций развития самоорганизующихся систем на примере веб-пространства и биологических сообществ»

Научный руководитель проекта:  чл.-к. РАН А.М. Федотов, ИВТ
5. Проект №48 «Открытый архив СО РАН как электронная система накопления, представления и хранения научного наследия»

Руководитель: д.ф.-м.н. А.Г. Марчук
6. Грант Президента РФ № MK-2037.2011.9 для молодых ученых

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

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

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

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

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

Исполнители из ИСИ СО РАН: Шилов Н.В., Гаранина Н.О.
4. Проект РФФИ 12-07-00091 «Методы и система интерактивной визуализации структурированной информации на основе иерархических графовых моделей»

Руководитель: д.ф.-м.н. В.Н. Касьянов
5. Проект РФФИ 12-01-00631 «Применение методов теории графов в анализе дискретных структур»

Руководитель: д.ф.-м.н. В.А. Евстигнеев
6. Проект РФФИ 12-07-31060 «Разработка портала знаний о компьютерных языках»

Руководитель: к.ф.-м.н. Р.И. Идрисов
7. Проект РФФИ № 12-07-31216 мол_а «Разработка методов создания информационной системы, сочетающей семантическое и текстовое представление информации».

Руководитель проекта: к.ф.-м.н. Е.А. Сидорова
8. Проект РФФИ 12-01-00686 «Технология предикатного программирования».

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

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

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

Участник от ИСИ: к.ф.-м.н. Демин А.В.
11. Проекта РФФИ 11-00-14127 «Получение доступа к научным информационным ресурсам зарубежных издательств»

Руководитель: к.ф.-м.н. Пальянов А.Ю.
Международные проекты:

1. Проект Европейского Союза по программе Марии Кюри «Computable analysis»

Руководитель: Селиванов В.Л.
2. Проект DFG (грант N 436 RUS 113/1002/01)

«Formal Methods in Design and Analysis of Distributed and Real-Time Systems»

Иностранные партнеры: Университет им. Карла фон Осецкого (Ольденбург, Германия) и Университет Бундесвера (Мюнхен, Германия)

Координаторы проекта: Айке Бест, И.Б. Вирбицкайте
3. Международный проект «Computable analysis – theoretical and applied aspects», EU—грант № PIRSES-GA-2011-294962

Руководители: Дитер Шприн (Зиген, Германия), Виктор Селиванов (ИСИ СОРАН)

Участник: Коровина М.В.
Прочие гранты:
1. Грант Мэрии г. Новосибирска (Субсидия молодым ученым и специалистам в сфере инновационной деятельности).

«Исследования и разработка программного обеспечения по защите картографических материалов, основанных на фрактальных методах, от несанкционированного тиражирования»

Руководители – асп. Гужавина И.В., асп. Зверев Н.Б., асп. Хайрулин С.С.
2. Грант Мэрии г. Новосибирска (Субсидия молодым ученым и специалистам в сфере инновационной деятельности).

«Прикладные многоагентные системы для нужд городского управления»

Руководитель – асп. Чиркунов К.С.