Artur Korniłowicz – polski matematyk, doktor habilitowany nauk matematycznych.
Życiorys W 1996 r. ukończył studia matematyczne na Uniwersytecie Warszawskim, w 2008 r. doktoryzował się, w 2017 r. habilitował się za pracę pt. Nowe techniki komputerowej formalizacji i weryfikacji dowodów matematycznych w Mizarze. Jest zatrudniony na Uniwersytecie w Białymstoku.
Przypisy
Kategoria:Polscy matematycy XX wieku Kategoria:Absolwenci Uniwersytetu Warszawskiego Kategoria:Nauczyciele akademiccy Uniwersytetu w Białymstoku Kategoria:Urodzeni w XX wieku Kategoria:Polscy matematycy XXI wieku