Заведующий кафедрой Математической логики и теории алгоритмов МГУ. Родился 27 ноября 1930 г. в г. Москва. В МГУ - с 1947: студент (окончил в 1952), аспирант, ассистент, доцент и с 1966 - профессор механико-математического факультета. С 1993 заведует кафедрой математической логики и теории алгоритмов. Автор книги в двух томах Труды по нематематике (М.: ОГИ, 2002) и ряда публикаций в журналах "Новое литературное обозрение", "Новый мир", "Неприкосновенный запас", "Знамя", "Вопросы литературы". Стихи пишет эпизодически. Пять пародий (на Гомера, Пруткова, Бальмонта, Вертинского и Маяковского) с сюжетом сказки "Курочка ряба" были написаны им летом 1945, сразу по окончании семилетки; первые четыре полностью, а пятая с купюрами были впоследствии напечатаны в книге В.И.Глоцера Дети пишут стихи (М.: Просвещение, 1964). При издании книги "Ты в сердце моём, биофак" (М.: Добросвет, 2005) названные пять пародий были ошибочно приписаны выпускнику биологического факультета МГУ Алексею Наумову и вошли в эту книгу - сестра Алексея Наумова нашла их, переписанные рукой покойного брата, в его бумагах и передала составителям книги (подробнее см. "Курьёзы). Читает курсы лекций "Введение в математическую логику", "Вычислимые функции", "Теорема Геделя о полноте". Подготовил 25 кандидатов и 2 докторов наук. Автор 95 научных работ.