(род. 3.5.1935) — советский кибернетик и математик. Чл. КПСС с 1967. Род. в Киеве. Окончил Киев. ун-т (1957). Д-р физико-матем. наук (1973), проф. (1982). Работает в Ин-те кибернетики АН УССР. Труды по кибернетике, теории программирования, матем. логике и теории алгоритмов. Премия Ленинского комсомола (1968). Премия им. М. В. Глушкова (1985; совместно с Е. Л. Ющенко и Ю. В. Капитоновой).