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. ResearcherID
  2. DBLP
  3. SCOPUS
  4. GoogleScholar

Affiliation and Office Address:

  1. Department of Programming and Formal Methods (in Polish),
  2. Institute of Informatics,
  3. University of Bialystok,
  4. Ciolkowskiego 1M,
  5. 15-245 Bialystok, Poland,
  6. +48(85)738-83-10
  7. email
  8. email_op
  9. Official WebSite (in Polish).