Artur
KorniłowiczArtur
Korniłowicz
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 |
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
1997 - ... Assistant Professor, University of Bialystok.
1995 - 1997 Assistant Professor, Warsaw University, Bialystok Branch.
Polish Society of Logic and Philosophy of Sciences
computer oriented formalization of mathematics, category theory, theory of many sorted algebras, theory of abstract computers.