Prof. dr hab. inż. Wydziału Elektroniki i Technik Informacyjnych, informatyk. Dyrektor Instytutu Informatyki WEiTI w latach 1989-1996. Profesor zwyczajny matematyki w Instytucie Podstaw Informatyki PAN od 1978 roku. Doktor honoris causa Politechniki Poznańskiej. Odznaczony Krzyżem Kawalerskim Orderu Odrodzenia Polski i Krzyżem Oficerskim Orderu Odrodzenia Polski.

Pochowany na cmentarzu Komunalnym Północnym (S-VI-l/rząd 4 grób 16).