Artur Korniłowicz

Artur Korniłowicz
Państwo działania

 Polska

doktor habilitowany nauk matematycznych
Specjalność: formalizacja matematyki, programowanie[1]
Alma Mater

Uniwersytet Warszawski

Doktorat

2008[2] – informatyka
Uniwersytet Shinshū

Habilitacja

26 stycznia 2017[1][2] – informatyka
Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

Artur Korniłowicz – polski matematyk, doktor habilitowany nauk matematycznych[1][2].

Życiorys

W 1996 r. ukończył studia matematyczne na Uniwersytecie Warszawskim[1], w 2008 r. doktoryzował się, w 2017 r. habilitował się za pracę pt. Nowe techniki komputerowej formalizacji i weryfikacji dowodów matematycznych w Mizarze[1][2]. Jest zatrudniony na Uniwersytecie w Białymstoku[1][2].

Przypisy

  1. 1 2 3 4 5 6 Dr hab. Artur Korniłowicz, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2024-10-23].
  2. 1 2 3 4 5 dr hab. Artur Korniłowicz. ludzie.nauka.gov.pl. [dostęp 2024-10-23].
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.