Семенов Алексей Львович
Академик РАН, академик РАО, профессор, доктор физико-математических наук, заведующий кафедрой математической логики и теории алгоритмов МГУ им. М. В. Ломоносова, директор Института кибернетики и образовательной информатики им. А. И. Берга ФИЦ ИУ РАН