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