СЕМЕНОВ Алексей Львович
Профессор, д. ф.-м. н.
директор Института кибернетики и образовательной информатики им. А.И. Берга ФИЦ ИУ РАН
доктор физико-математических наук, действительный член Российской академии наук, действительный член Российской академии образования, лауреат премии ЮНЕСКО. Заведующий кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ.
Подробнее на персональном сайте https://alsemenov.ru