Академия наук Республики Татарстан

Член-корреспондент Академии наук Республики Татарстан

1977 года рождения.  Профессор кафедры алгебры и математической логики, федеральное государственное автономное образовательное учреждение высшего образования «Казанский (Приволжский) федеральный университет»,  доктор физико-математических наук (2010), доцент (2008), профессор РАН (2016), лауреат премии имени Х.М. Муштари АН РТ (2018, совместно с М.М. Арслановым), лауреат премии имени А.И. Мальцева РАН (2021), нагрудный знак «За заслуги в образовании» МОН РТ (2024).

Калимуллин И.Ш. – специалист в области математической логики и теории алгоритмов, автор 82 научных работ. Индекс Хирша: РИНЦ – 13, Scopus – 14. 

Под его руководством защищены 2 кандидатские и 1 докторская диссертация.

Основные научные результаты Калимуллина И.Ш.:

- доказана определимость операции скачка в степенях по перечислимости (2003);

- введены и исследованы степени категоричности вычислимых алгебраических структур (2010);

- решена проблема Доунея об элементарной эквивалентности полурешеток степеней из различных уровней разностной иерархии (2010);

- решена проблема полноты индексного множества автоматно представимых алгебраических структур (2019);

- построена серия контрпримеров, различающих равномерные и неравномерные сводимости алгебраических структур (2009, 2012, 2025).

Калимуллин И.Ш. – член редколлегии журнала Lobachevskii Journal of Mathematics, эксперт РФФИ, РНФ и РАН, член Аттестационной комиссии КФУ по естественнонаучному направлению. В рамках своей преподавательской деятельности Калимуллин И.Ш. читает общие курсы по математической логике и дискретной математике, а также специальные курсы по теории алгоритмов и теории множеств.