Andrzej Tarlecki

Teaching at MIM UW

• Course: Semantics and Verification of Programs
• Course: Universal algebra and category theory
• Seminar: SLIWOWICA