Народився 12.04.1937 в Києві. Закінчив Київ. університет (1959). У 1959—71 працював в Інституті кібернетики АН УРСР, з 1971 — завідувач кафедри, з 2004 — професор Київ. університету. Нагороджений державними нагородами СРСР.
Наукові праці стосуються програмування і створення адаптивних автоматизованих систем. Заклав логіко-математичний фундамент принципово нового напрямку інформатики – програмології