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

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

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

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

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

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

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

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

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

Руководитель - д.ф.-м.н. Марчук А.Г.
2. Проект РФФИ № 07-07-00173а

Моделирование, анализ и верификация телекоммуникационных систем, представленных на стандартном языке выполнимых спецификаций SDL

Руководитель - к.ф.-м.н. Непомнящий В.А.
3. Проект РФФИ № 07-01-00543а

Логические методы в теории автоматов и в теории вычислимости с ограниченными ресурсами

Руководитель - д.ф.-м.н. Селиванов В.Л.
4. Проект РФФИ 09-01-90901

Грант по конкурсу "научная работа молодых ученых из стран СНГ в российских научных организациях". Страна – Киргизия.

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

Евстигнеев В. А.
5. Проект РФФИ 09-01-06033г

Грант на проведение Седьмой международной конференции памяти академика А. П. Ершова «Перспективы систем информатики» PSI-09

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

Марчук А.Г.
6. Проект РФФИ 09-01-00361 а

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

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

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

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

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

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

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

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

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

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

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

1. Проект РГНФ 07-04-12151в

“Электронный корпус древнерусских певческих рукописей“

Руководитель - д.т.н. Берс А.А.
2. Проект РГНФ 08-03-12125в

“Электронный архив О.М.Фрейденберг“

Руководитель - д.ф.-м.н. Марчук А.Г.