Artur Korniłowicz

Wersja Polska


Address

Contact

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

E-mail: arturk@math.uwb.edu.pl

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

Education

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 - ... Associate Professor, University of Bialystok.

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

X.1995 - IX.1997 Assistant Professor, 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.

Publications


October 24, 2013 --- arturk@math.uwb.edu.pl