Кафедра дискретной математики, д.ф.-м.н., профессор
Окончил механико-математический факультет МГУ имени М.В. Ломоносова (1976 г). Доктор физико-математических наук, профессор.
Организатор и член жюри нескольких московских и всесоюзных математических школьных олимпиад, Международной математической олимпиады (1992). Популяризатор науки, автор множества книг.
Область научных интересов: дискретная математика, математическая кибернетика, математическая логикой, теория алгоритмов, компьютерная арифметика, алгебраическая алгоритмика.
Получил точную (до аддитивной константы) оценку глубины схемной реализации класса n-местных булевых функций в стандартном булевом базисе. Развил метод получения точных по порядку оценок сложности реализации булевых функций аналоговыми (непрерывными) схемами в гладких (липшицевых) и полиномиальных базисах. Получил точные по порядку оценки сложности приближенной реализации многих компактных классов гладких и аналитических функций схемами в липшицевых и полиномиальных базисах. Доказал существование в них функций с заданной по порядку сложностью при естественных ограничениях на последнюю.
Читает курсы: «Дискретная математика», «Комбинаторные алгоритмы», «Дискретная алгоритмика», «Быстрые вычисления», «Конечные поля и их приложения». Руководит спецсеминарами по дискретной математике и многозначной логике.