معرفی
Adam Naumowicz is an Assistant Professor at the Faculty of Computer Science, University of Bialystok, where he has been employed since 2000. His academic work centers around the development and application of the Mizar system for automated proof checking and formalization of mathematics.
- Ph.D. in Informatics from Shinshu University (2005)
- M.Sc. in Mathematics from University of Bialystok (2000)
- B.A. in English Philology from University of Bialystok (2004)
Naumowicz's research focuses on automated theorem proving and the formalization of mathematics, particularly through the Mizar system. His work spans formal methods in computer science education, with additional interests in general topology, continuous lattices, and algebraic geometry. He has made significant contributions to the Mizar Mathematical Library, advancing the formal verification of mathematical results.
Analysis of his recent publications (2017-2023) reveals a strong emphasis on number theory formalization within the Mizar framework, with multiple "Elementary Number Theory Problems" papers. His work increasingly integrates automated reasoning techniques with mathematical education, as seen in his study of Mizar user interactivity in university courses. The publications demonstrate consistent development of the Mizar system's capabilities for handling complex mathematical structures and proofs.
- Editor of Formalized Mathematics journal
- Editor of Journal of Formalized Reasoning
- Managing Editor of Central European Journal of Computer Science (2010-2014)
- Guest Editor for special issue on Computer Reconstruction of Mathematics
Naumowicz has been actively involved in numerous research grants from 1997-2018, including EU-funded projects like TYPES II and CALCULEMUS. He regularly teaches courses on structured programming, logic, set theory, and formal methods. As a key member of the Mizar development team, he participates in major conferences including CICM, ITP, and TYPES, often serving on program committees and organizing workshops on formal mathematics.
