Artur Korniłowicz

English Version


Adres

Kontakt

Instytut Informatyki
Uniwersytet w Białymstoku
ul. Ciolkowskiego 1M, 15-245 Białystok

E-mail: arturk@math.uwb.edu.pl

telefon sluzbowy: +48 (85) 7388333

Wykształcenie

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

Zatrudnienie

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

Członkostwo w Stowarzyszeniach Naukowych

Stowarzyszenie Użytkowników Mizara

Polskie Towarzystwo Logiki i Filozofii Nauki

Zainteresowania Naukowe

komputerowo wspomagana formalizacja matematyki, teoria komputerów abstrakcyjnych

Publikacje


1 stycznia 2017 --- arturk@math.uwb.edu.pl