Artur Korniłowicz

dr hab. Artur Korniłowicz, prof. Uniwersytetu w Białymstoku

Działalność naukowa dotyczy praktycznej formalizacji i weryfikacji
poprawności dowodów matematycznych. Od ponad 25 lat jest związany z systemem Mizar (http://mizar.uwb.edu.pl).

Autor ponad stu formalizacji różnych zagadnień w dziedzinie algebry uniwersalnej, teorii kategorii, topologii oraz matematycznych modeli maszyn obliczeniowych.

Laureat nagrody Śleszyńskiego za formalizację twierdzenia Jordana o krzywych zwykłych zamkniętych w systemie Mizar.

Stypendysta programu CALCULEMUS w ośrodku Istituto per la Ricerca Scientifica e Tecnologica, Trento, Włochy oraz towarzystwa Japan Society for the Promotion of Science na Shinshu University, Nagano, Japonia.

Członek Zarządu Odziału Białostockiego Polskiego Towarzystwa Informatycznego.

Członek Zarządu Stowarzyszenia Użytkowników Mizara.