Artur Korniłowicz

Wersja Polska


Address

Private

Institute of Computer Science
University of Bialystok
Sosnowa 64, 15-887 Bialystok
Poland
phone (office): +48 (85) 745 7559
Date of birth: April 20, 1969
Place of birth: Bialystok
Married, two children: son (1997), daughter (2006) and son (2008)
E-mail: arturk@math.uwb.edu.pl

Education

PhD 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

1997 - ... Assistant Professor, University of Bialystok.

1995 - 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, category theory, theory of many sorted algebras, theory of abstract computers.

Publications


December 31, 2006 --- arturk@math.uwb.edu.pl