Prof
Cezary Kaliszyk
Professor in Theoretical Computing Science
School of Computing and Information Systems
formal methods
machine learning for reasoning
formalization of mathematics
proof assistants
automated theorem proving
AI for symbolic computation
proof data management
proof translations
46 information and computing sciences