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

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

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

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

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

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

Научный руководитель проекта(от ИСИ) : д.ф.-м.н. А.Г. Марчук

Гранты РФФИ:
1. Проект РФФИ № 08-01-00899а

Исследование и классификация парадигм компьютерных языков

Руководитель - д.ф.-м.н. Марчук А.Г.
2. Проект РФФИ № 01-91334-ННИО_а

Формальные методы построения и анализа распределенных систем реального времени

Научн. руководитель

Вирбицкайте И.Б.
3. Проект РФФИ № 09-01-00361 а

Автоматическая верификация программ с использованием булевских решателей

Научн. руководитель

Шилов Н.В.
4. Проект РФФИ 09-07-00012 а

Интерактивная электронная энциклопедия теоретико-графовых алгоритмов

решения задач информатики и программирования

Научн. руководитель

Касьянов В.Н.
5. Проект РФФИ 09-07-00400 а

Исследование и разработка методов и средств анализа и

визуализации разнородных знаний больших информационных порталов

Научн. руководитель

Загорулько Ю.А.

6. Проект РФФИ № 10-01-92878-АНФ_з

Участие в совместном российско-австрийском семинаре "Computability and Definability

Руководитель - д.ф.-м.н. Селиванов В.Л.
7. Проект РФФИ № 10-01-09210-моб з

Участие в 3-ем международном конгрессе и школе по универсальной логике

Руководитель Пономарев Д.К.
8. Проект РФФИ № 10-07-08082-з

Участие в 9-й Международной конференции по методологии, инструментальным средствам и технологиям разработки программного обеспечения (SoMeT-10)

Научн. руководитель

Загорулько Ю.А.
Гранты Российского гуманитарного научного фонда:

1. Проект РГНФ 10-04-12108 в

“Разработка двуязычного тезауруса по компьютерной лингвистике “

Руководитель - д.т.н. ЗагорулькоЮ.А.
2. Проект РГНФ 10-03-12116 в

“Электронная система поддержки исторической фактографии: наполнение и развитие“

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

Проект № 8558 от 01.03.2008 «Разработка алгоритмического и программного обеспечения для визуализации данных радиоактивного каротажа и выделения нефтенасыщенных пластов на основе кластеризации»

Руководитель – асп. Поплевина Н.В.
2. Грант по программе “УМНИК”

Проект № 8559 от 01.03.2008 «Использование фактографического подхода для создания персональных и распределенных информационных систем»

Руководитель – Марчук П.А.
3. Грант Мэрии г. Новосибирска (Субсидия молодым ученым и специалистам в сфере инновационной деятельности)

Тема работы: «Разработка алгоритмов и программного обеспечения для обработки изображений, получаемых со спутников, и создания панорам из этих изображений»

Руководитель – асп. Гужавина И.В.
4. Грант по программе “GREAT MINDS INTERNSHIP” компании IBM

Стажировка в лаборатории IBM Zurich Research Lab. в течение полугода

Тема работы: «Исследование алгоритмов эллиптической криптографии»

Получил грант – студ. Калинников П.А.

Руководитель исследований в Швейцарии – Christoph Hagleitner