Лаборатория в рамках темы по государственному заданию «Методы и технологии конструирования эффективных и надежных программ и программных систем на основе графовых моделей и семантических преобразований (FWNU-2021-0002)», руководитель - д.ф.-м.н., проф. В.Н.Касьянов, выполняет следующие три проекта.
Проект «Конструирование эффективных и надежных параллельных программ на основе функциональных спецификаций и семантических преобразований», который включает исследования методов и алгоритмов конструирования эффективных и надёжных параллельных программ на базе функционального языка программирования Cloud Sisal, а также работы по развитию языка Cloud Sisal и совершенствованию облачной системы параллельного программирования CPPS, в том числе путем расширения ее возможностей по конструированию, визуальной отладке, верификации, тестированию, специализации, оптимизации и распараллеливанию Cloud Sisal программ, а также по генерации эффективных параллельных программ для вычислительных систем разной архитектуры.
Проект «Методы и системы поддержки применения теоретико-графовых методов в информатике и программировании», который включает исследования в области применения теоретико-графовых моделей и методов в информатике и программировании, работы по пополнению цифрового толкового словаря WikiGRAPP по теории графов и ее применениям в информатике и программировании и цифровой энциклопедии WEGA теоретико-графовых алгоритмов решения задач информатики и программирования новыми терминами и алгоритмами, а также работы по совершенствованию словаря WikiGRAPP и энциклопедии WEGA и разработке средств автоматизации работы с ними, в том числе средств создания и поддержки интерактивных анимаций графовых алгоритмов.
Проект «Методы и средства визуализации сложно организованной информации большого объема на основе атрибутированных иерархических графов с портами», который включает исследования методов и эффективных алгоритмов визуального представления и анализа структурной информации большого объема на основе атрибутированной иерархической графовой модели с портами, работы по совершенствованию системы визуализации Visual Graph и расширению ее возможностей по визуальному представлению и анализу структурной информации большого объема, возникающей при работе компиляторов и в других приложениях (Web-графы, социальные сети, семантический Web, базы знаний, сети белок-белковых взаимодействий, библиографические сети), а также работы по созданию на основе системы Visual Graph веб-сервиса визуализации атрибутированных иерархических графов с портами (Visual Graph Web Service).