Education:

1. Ph.D. in Computer Science, Faculty of Mathematics, Informatics and Mechanics, Warsaw University, 2013.
   Thesis: The Algorithms for Improving Legibility of Natural Deduction Proofs.
2. M.Sc. in Mathematics, Faculty of Mathematics and Informatics, University of Bialystok, 2006.
   Thesis: Geometry of the Reye Configuration.
3. B.Sc. in Computer Science, Faculty of Mathematics and Informatics, University of Bialystok, 2006.
   Thesis: Formalization of Nagata-Smirnov and Bing Metrization Theorems.

Employment:

1. 2006 - present   Assistant Professor, Faculty of Mathematics and Informatics, University of Bialystok.

Research interests:

1. Mizar semantics.
2. Automated improving of proof legibility.
3. Computer oriented formalization of mathematics: general topology (Brouwer's theorems), linear algebra, combinatorics.
4. Isabelle/Mizar.

Links:

1. ORCID
2. ResearcherID
3. SCOPUS
4. DBLP
5. GoogleScholar