Советский математик, член-корреспондент АН СССР (с 1970). Родился в Москве. Окончил Московский университет (1954). В 1954—1960 работал в ВЦ АН СССР, с 1959 работает в ВЦ СО АН СССР, с 1969 — профессор Новосибирского университета.

Основные исследования относятся к теоретическому и системному программированию. В первую программирующую программу для БЭСМ ввел (1956) понятие оператора цикла, предложил (1958) метод организации информации с помощью функции расстановки, ввел (1960) понятие операторного алгоритма. Руководил (1964) разработкой оптимизирующего транслятора с расширения АЛГОЛА-6О и описал (1977) процесс трансляции с помощью смешанных вычислений.

Иностранный член Ассоциации вычислительной техники США (с 1965), почетный член Британского общества по вычислительной технике (с 1974).