Академік НАН України, доктор фізико-математичних наук, професор.
Лауреат премії імені В. М. Глушкова Президії Академії Наук України за цикл робіт з теорії та реалізації нових інформаційних технологій (1992 р.) та лауреат Державної премії України в галузі науки і техніки за цикл робіт з теоретичних основ та інструментальних засобів розробки програмного забезпечення інформаційних технологій (2003 р). Нагороджений ювілейною медаллю «За доблестный труд». В ознаменование 100-летия со дня рождения Владимира Ильича Ленина» Президії Верховної Ради СРСР (1970 р.), знаком «Победитель социалистического соревнования 1976 года» міністерства вищої та середньої спеціальної освіти СРСР та ЦК профспілки працівників освіти, вищої школи та наукових закладів (1977 р.), нагрудним знаком «За отличные успехи в работе» міністерства вищої та середньої спеціальної освіти СРСР, медаллю «В память 1500-летия Киева» Президії Верховної Ради СРСР (1982 р.), орденом Дружби народів СРСР (1984р.), нагрудним знаком «За досягнення» міністерства України у справах науки і технологій (1999 р.).
Автор понад 160 наукових, навчальних та методичних праць, в тому числі 3 монографій.
Основні напрями наукових досліджень: програмологія, теорія дескриптивних та декларативних програмних алгеброїдів, метод дефініторних алгебр.
