Итоги конкурса проектов РФФИ

Подведены итоги конкурса проектов Российского фонда фундаментальный исследований (РФФИ). Среди победителей — как профессора, так и молодые преподаватели факультета компьютерных наук Высшей школы экономики.

В рамках конкурса проектов фундаментальных научных исследований 2016 года по направлению “математика, механика и информатика” поддержан проект  “Алгоритмы масштабируемого анализа многомерных и сложно структурированных данных” руководителя департамента анализа данных и искусственного интеллекта Сергея Кузнецова и проект “Применение расширений сетей Петри для моделирования, синтеза и анализа адаптивных распределенных информационных систем” заведующей Научно-учебной лабораторией процессно-ориентированных информационных систем (ПОИС) Ирины Ломазовой. 

По итогам конкурса 2016 года инициативных научных проектов, выполняемых молодыми учеными (Мой первый грант), поддержаны проекты сотрудника лаборатории ПОИС Леонида Дворянского “Развитие методов композиционального поведенческого анализа распределенных систем с мобильными агентами” и доцента департамента программной инженерии Рамона Антонио Родригес Залепинос “Разработка новых распределенных методов обработки больших объемов растровых данных”. Проект старшего преподавателя Базовой кафедры "Математические методы системного анализа" Института системного анализа РАН Александра Панова "Исследование механизмов и построение моделей обучения, основанных на знаковых представлениях, в задаче планирования коллективного поведения" получил поддержку по итогам конкурса проектов фундаментальных научных исследований, выполняемых молодыми учеными – докторами или кандидатами наук, в научных организациях Российской Федерации в 2016-2018 годах. 

Проект старшего научного сотрудника лаборатории ПОИС Анны Каленковой "Алгоритмы и программные средства анализа бизнес-процессов предоставления государственных услуг" поддержан по итогам конкурса проектов фундаментальных научных исследований, выполняемых молодыми учеными, проводимый совместно РФФИ и правительством города Москвы. 

По итогам конкурса научных проектов, выполняемых молодыми учеными под руководством кандидатов и докторов наук в научных организациях Российской Федерации в 2016 году РФФИ поддержал заявку "Логико-аппликативная среда автоматизированного построения преобразований данных на основе описаний абстрактных типов" под руководством доцента Департамента программной инженерии Сергея Зыкова. Проект предполагает разработку прототипа программного комплекса, автоматизирующего процесс переноса данных между различными программными системами. При этом планируется реализовать автоматические преобразование представлений данных, а также автоматический вывод связей и зависимостей для информационных объектов. Для решения указанных задач будут использоваться методы математической логики, аппликативных вычислительных систем, теории типов и теории доказательств. Логические теории - исчисление предикатов, модальные и дескрипционные логики - будут применяться для описания структуры предметных областей и связей между ними. При этом вычислительные конструкции будут представлены с помощью аппликативных вычислительных систем, а теория типов позволит связать вычислительные объекты с логическими спецификациями. В числе исполнителей проекта - Павел Шапкин, доцент кафедры моделирования и оптимизации бизнес-процессов факультета бизнеса и менеджмента НИУ ВШЭ.

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