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 7559											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

1997 - ... asystent, Uniwersytet w Białymstoku

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

komputerowo wspomagana formalizacja matematyki, teoria komputerów abstrakcyjnych, teoria kategorii, teoria algebr wielozakresowych