Кандидат физико-математических наук (1954), тема диссертации: «Решение на ЭВМ задач структурного анализа кристаллов» (научный руководитель С.Л. Соболев).

Ученое звание — профессор (1989).

Участник Великой Отечественной войны.

Награжден

• орденом Отечественной войны II степени (1985)
•  медалями «За отвагу» (1947), «За победу над Германией», «За трудовую доблесть» и «Ветеран труда»
• Почетной грамотой Президиума Верховного Совета РСФСР, юбилейными медалями, нагрудным знаком Минвуза СССР «За отличные успехи в работе» 
• бронзовой медалью ВДНХ.

Заслуженный работник высшей школы Российской Федерации (2002).

Работает в МГУ с 1955 г.: заведующий математической лабораторией ВЦ МГУ, с 1962 г. — доцент кафедры вычислительной математики механико-математического факультета, с 1970 г. — доцент кафедры алгоритмических языков факультета ВМК; и.о. заведующего этой кафедрой, заведующий кафедрой (1971–1993); профессор кафедры (1993–2001). Советник декана факультета (с 2005).

Область научных интересов: автоматизация программирования, алгоритмические языки, методика обучения информатике, стандартизация языков программирования.

Соруководитель общегородского научно-исследовательского семинара по автоматизации программирования.

Длительное время читал основной курс «ЭВМ и программирование» на механико-математическом факультете и факультете вычислительной математики и кибернетики МГУ. Один из разработчиков учебных курсов по программированию и заданий практикума на ЭВМ для младших курсов факультета ВМК. Им написан ряд учебных пособий для этих курсов.

Подготовил 8 кандидатов наук.

Автор более 50 публикаций, в том числе:

• Система автоматизации программирования — М., 1958 (в соавт.);э
• Курс программирования — М., Наука, 1965 (соавт. Жоголев Е.А.; переизд.: 1967, 1970)
• Сборник упражнений по Алголу — М., 1975 (переизд.: 1978)
• Программирование на автокоде ЕС ЭВМ — М., Наука, 1982 (соавт. Громыко В.И.)
• Введение в язык Паскаль — М., Наука, 1988 (соавт. Абрамов В.Г., Трифонова Г.Н.).