Казанский федеральный университет, институт вычислительной математики и информационных технологий