Теоретическая информатика


Текущие проекты

Современные алгоритмические проблемы дискретной математики

Начало проекта – 2014 год.

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

Эффективные алгоритмы для современных информационных систем.

Начало проекта – 2014 год.

Целью проекта является исследование различных обобщений задач унификации и антиунификации алгебраических термов, оценка сложности и разработка эффективных алгоритмов решения указанных задач, исследование формальных моделей программ, с целью выбора таких моделей, в которых задача обнаружения подобия программ сводится к задачам проверки эквивалентности и минимизации программ, а также к задачам унификации и антиунификации алгебраических термов.

Алгоритмы оптимизации размещения виртуальных машин в модели облачных вычислений SaaS.

Начало проекта – 2014 год.

Основной целью проекта является создание программных средств, позволяющих повысить эффективность использования вычислительных ресурсов в облачной инфраструктуре. Полученные результаты применяются в системе UniHUB для размещения приложений на виртуальных машинах под управлением OpenStack.

Алгоритмические проблемы теоретической информатики.

Начало проекта – 2014 год. Заказчик - ФАНО.

Различные методы анализа случайных графов, построение новых математических моделей безмасштабных графов (подчиняющихся так называемому степенному закону) является актуальным направлением исследований, в связи с анализом сетей в интернете (в частности, социальных таких как Фейсбук, Твиттер и многих других). При этом их свойства и параметры таких сетей могут изменятся. Для предсказания таких изменений и служит изучение общих свойств математических моделей таких сетей, которые можно рассматривать как случайные графы.