Научная школа по теоретической информатике
Руководитель научной школы: зав. кафедрой теоретической информатики, д.ф.-м.н., профессор В.А. Соколов
Задача — проведение научных исследований и получение новых результатов в нескольких актуальных областях современной информатики:
- Исследования в области формальных моделей современных информационных систем, в частности исследование свойств моделей со счетчиками, разработка алгоритмов анализа моделей, построенных на их основе; исследования в области теории моделей и методов программирования распределенных систем.
- Построение технологии моделирования, спецификации и верификации программ логических контроллеров. Разработка и исследование методов моделирования, анализа корректности и построения надежных программ логических контроллеров.
- Разработка методов моделирования и анализа, а также создание новых коммуникационных протоколов для более эффективной работы современных приложений, в том числе мобильных устройств, сенсорных сетей и облачных систем.
- Исследования в области современных баз данных, логических основ их организации и моделей распределенных хранилищ данных.
Членами научной школы подготовлен и опубликован большой цикл работ (журнальные статьи различного уровня, доклады на российских и международных конференциях), ряд монографий, две из которых выпущены центральным издательством «ФИЗМАТЛИТ».
Научная школа имеет широкие научные связи как внутри страны, так и за рубежом.
Активно сотрудничаем с
- институтом систем информатики им. А.П. Ершова СО РАН,
- институтом вычислительной математики и математической геофизики СО РАН,
- институтом программных систем РАН (г. Переславль-Залесский),
- институтом системного программирования РАН (г. Москва),
- факультетом вычислительной математики и кибернетики МГУ им. М.В. Ломоносова,
- кафедрой технологии программирования СПГУ ИТМО.
Ряд представителей научной школы работают в ведущих научных центрах Франции и Голландии. Начиная с 1994 г., исследования в рамках общей темы «Моделирование и анализ информационных систем» регулярно поддерживаются грантами РФФИ, INTAS-РФФИ, Минобразования РФ, грантами Президента РФ и Проматематика. Сотрудники кафедры являются членами программных комитетов ряда отечественных и международных научных конференций по информатике “Perspectives of System Informatics” и “Parallel Computing Technologies”, а также являются членами редакционной коллегии журнала “Bulletin of the Novosibirsк Computing Center” СО РАН (Новосибирск) и отдельных выпусков журнала «Программирование» РАН, кроме того, входят в состав диссертационных советов ЯрГУ по специальностям “Дискретная математика и математическая кибернетика” и “Теоретические основ
В рамках темы исследований за последние 10 лет прошли успешную защиту 8 кандидатских и 3 докторские диссертации.