Artur Korniłowicz

Adres											Dane osobowe
Instytut Informatyki Uniwersytet w Białymstoku ul. Sosnowa 64, 15-887 Białystok telefon służbowy: +48 (85) 745 7662											Data urodzenia: 20 kwietnia 1969 r. Miejsce urodzenia: Białystok Żonaty, troje dzieci: syn (1997 r.), córka (2006 r.) i syn (2008 r.) E-mail: arturk@math.uwb.edu.pl

Doktorat z Informatyki, Shinshu University, Nagano, Japonia, 2001
Teza doktorska: A Formal Theory of Abstract Computers

Magisterium z Matematyki, Uniwersytet Warszawski, Filia w Białymstoku, 1996
Praca magisterska: Varieties of Many Sorted Algebras

X.2009 - ... adiunkt, Uniwersytet w Białymstoku

X.1997 - IX.2009 asystent, Uniwersytet w Białymstoku

X.1995 - IX.1997 asystent, Uniwersytet Warszawski, Filia w Białymstoku

komputerowo wspomagana formalizacja matematyki, teoria komputerów abstrakcyjnych

24 pazdziernika 2009 --- arturk@math.uwb.edu.pl