Artur
KorniłowiczArtur
Korniłowicz
Address |
Private |
||||||||||
|
Institute of Informatics
University of Bialystok Sosnowa 64, 15-887 Bialystok Poland phone (office): +48 (85) 745 7662 |
Date of birth: April 20, 1969
Place of birth: Bialystok Married, three 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
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.
Polish Society of Logic and Philosophy of Sciences
computer oriented formalization of mathematics, theory of abstract computers.