К.ф.-м.н., старший научный сотрудник, кафедра математической логики и теории алгоритмов Механико-математический факультет Московский государственный университет им. М.В.Ломоносова