Математик, педагог, правозащитник, канд. пед. наук (1966). Окончил механико-мат. ф-т МГУ (1955). Преподавал математику на отд. структурной и прикладной лингвистики филол. ф-та МГУ. В 1968 уволен за подписание коллективного письма в защиту А.С.Есенина-Вольпина. С 1970-х гг. участвовал в издании самиздат. инф. бюллетеня «Хроника текущих событий» (в 1980–83 редактор). В 1972 осуждён по ст. 70 УК РСФСР «Антисов. агитация и пропаганда», до 1974 находился на принудит. лечении в психиатрич. больнице; вновь осуждён по той же ст. в 1983, отбывал наказание в лагерях до 1987. С 1995 преподавал в РГГУ. Тр. по высшей математике, в т.ч. «Введение в современную математику» (1965), «Группы, кольца, решётки» (2006), «Логические и математические исчисления» (2011) и др.
