Roman Matuszewski

Roman Matuszewski is a retired Associate Professor at the University of Bialystok, affiliated with the Faculty of Philology's Department of Applied Linguistics. His research focuses on automated reasoning, formalized mathematics, and the Mizar Project, which he has been involved with since its inception in 1973. He holds a PhD in Computer Science from Shinshu University (2000) and has held academic positions at multiple institutions, including part-time roles at Bogdan Janski University.

Education: PhD in Computer Science (2000), Master of Science in Mechanics (1975), Engineer (1973), all from Polish institutions. His work emphasizes formal proof systems, mathematical knowledge management, and education integration of automated reasoning tools.

Research interests include automated deduction, formal proof verification, and the application of these methods to mathematics education. His contributions to the Mizar Mathematical Library and its 50-year history (celebrated in 2023) are foundational for interactive theorem proving.

Key awards include the Silver Cross of Merit (2004) and multiple Rector’s prizes. He has organized major conferences like MKM2004 and served on program committees for events such as IJCAR and Tableaux.

Grants include leadership roles in EU-funded projects like TYPES and CALCULEMUS. His work bridges computer science and mathematics through formalized systems, impacting both research and education.