Родился 7 мая 1940 г. в г. Николаеве (Украина).

Доктор физико-математических наук (1968), профессор (1969).

Окончил математико-механический факультет Уральского университета (1962) по специальности «Математика».

Преподавал в Уральском университете с 1965 по 1969 г.

В настоящее время работает в исследовательском подразделении корпорации «Майкрософт» (США).

Ученик профессора П. Г. Конторовича. Автор более 200 научных работ в области алгебры, математической логики, компьютерных наук.

Создатель концепции машин абстрактных состояний, широко используемой в современной информатике.

Почетный доктор Уральского государственного университета (2007).