Artur Korniłowicz

Adres											Kontakt
Wydział Informatyki Uniwersytet w Białymstoku ul. Ciołkowskiego 1M, 15-245 Białystok											E-mail: arturk@math.uwb.edu.pl telefon służbowy: +48 (85) 7388333

Habilitacja - nauki matematyczne, dyscyplina informatyka
Wydział Matematyki, Informatyki i Mechaniki, Uniwersytet Warszawski, 2017
Teza: Nowe techniki komputerowej formalizacji i weryfikacji dowodów matematycznych w Mizarze

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 2018 - ... profesor nadzwyczajny, Uniwersytet w Białymstoku

X 2009 - IX 2018 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

Lista publikacji jest dostępna tutaj.

1 października 2023 --- arturk@math.uwb.edu.pl