Artur
KorniłowiczArtur
Korniłowicz
Address |
Contact |
||||||||||
|
Faculty of Computer Science
University of Bialystok Ciolkowskiego 1M, 15-245 Bialystok Poland |
E-mail: arturk@math.uwb.edu.pl 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
X 2018 - ... Associate Professor, University of Bialystok.
X 2009 - IX 2018 Adjunct, University of Bialystok.
X 1997 - IX 2009 Assistant, University of Bialystok.
X 1995 - IX 1997 Assistant, Warsaw University, Bialystok Branch.
Polish Information Processing Society
Polish Society of Logic and Philosophy of Sciences
computer oriented formalization of mathematics, theory of abstract computers.