Кафедра математической логики и теории алгоритмов, д.ф.-м.н., профессор