Проект ученого Института математики и механики – в числе победителей грантового конкурса на финансирование фундаментальных и поисковых исследований, организованного Фондом науки и технологий Республики Татарстан. Поддержку получат научные сотрудники и группы, проводящие исследования в области естественных и технических наук, медицины, сельского хозяйства, а также социальных и гуманитарных наук.
Участники подали на конкурс 331 заявку, комиссией были отобраны 37 проектов, среди которых 14 – от КФУ. Каждый из них получит финансирование объемом до 3 миллионов рублей.
Одним из победителей стал проект «Алгоритмические сводимости программных систем и вычислимых моделей». Его руководителем выступил главный научный сотрудник Научно-образовательного математического центра Приволжского федерального округа Института математики и механики им. Н.И. Лобачевского Марат Файзрахманов.
«Он направлен на проведение научных исследований, находящихся на стыке фундаментальной математики и теоретической информатики. В реализации проекта принимают участие сотрудники и аспиранты кафедры алгебры и математической логики ИМиМ и Научно-образовательного математического центра ПФО. Большую часть научного коллектива составляют молодые ученые. Несмотря на фундаментальный характер запланированных проектом исследований, с учетом их алгоритмического характера можно ожидать появления их приложений в ИТ-сфере в течение 5 лет», – поделился Файзрахманов.