Andrzej Tarlecki

Andrzej Tarlecki

Member of Academia Europaea; Profesor at the Institute of Informatics, University of Warsaw.

Research Interests / Specializations:

Mathematical foundations of computer science; software formal specification and development; logic, universal algebra and category theory in computing sciences.