Wiesław Pawłowski
https://inf.ug.edu.pl/~wpawlowski/
Institute of Computer Science
University of Gdansk, Poland
Formal specification of software systems, Theory of institutions, Formal methods, Mobile and distributed systems, Applications of logic and category theory in computer science