Artur Korniłowicz

Wersja Polska



Institute of Informatics
University of Bialystok
Ciolkowskiego 1M, 15-245 Bialystok


phone/fax (office): +48 (85) 7388333


Habilitation in Computer Science
Faculty of Mathematics, Informatics and Mechanics, Warsaw University, 2017
Thesis: New techniques in computer-assisted formalization and verification of mathematical proofs in Mizar

Ph.D. in Computer Science, Shinshu University, Nagano, Japan, 2001
Thesis: A Formal Theory of Abstract Computers

Master of Mathematics, Warsaw University, Bialystok Branch, 1996
Thesis: Varieties of Many Sorted Algebras

Academic employment

X.2009 - ... Adjunct, University of Bialystok.

X.1997 - IX.2009 Assistant, University of Bialystok.

X.1995 - IX.1997 Assistant, Warsaw University, Bialystok Branch.

Membership in Academic Societies

Association of Mizar Users

Polish Society of Logic and Philosophy of Sciences

Research interests

computer oriented formalization of mathematics, theory of abstract computers.


August 1, 2017 ---