Artur Korniłowicz
Artur Korniłowicz (ur. 1970) – polski matematyk, informatyk oraz logik, doktor habilitowany nauk matematycznych, profesor uczelni na Uniwersytecie w Białymstoku. Specjalizuje się w logice matematycznej, teorii dowodu oraz komputerowych systemach wspomagających dowodzenie twierdzeń (proof assistants). Jego badania dotyczą między innymi rozwijania i zastosowania systemów Mizar oraz teorii zbiorów w kontekście mechanizacji dowodów matematycznych.
Wykształcenie i kariera naukowa[edytuj]
Artur Korniłowicz ukończył studia matematyczne na Uniwersytecie Warszawskim, filia w Białymstoku (1996)[1]. W 2008 roku uzyskał stopień doktora nauk matematycznych na podstawie rozprawy obronionej na Uniwersytecie Shinshū w Japonii[2], poświęconej formalizacji i mechanizacji teorii zbiorów; jej promotorem był profesor Roman Matuszewski[3].
W 2017 roku uzyskał habilitację[2], przedstawiając osiągnięcia naukowe w zakresie formalizacji matematyki i rozwoju systemów dowodzenia twierdzeń, ze szczególnym uwzględnieniem systemu Mizar[4]. Jego prace nad rozwijaniem systemu Mizar przyczyniły się do rozszerzenia jego możliwości oraz zastosowania w badaniach naukowych i edukacji.
Artur Korniłowicz pełni funkcję profesora nadzwyczajnego na Uniwersytecie w Białymstoku, gdzie zajmuje się badaniami z zakresu logiki matematycznej i formalnych systemów dowodzenia. Jest również aktywnie zaangażowany w międzynarodowe projekty badawcze związane z formalizacją matematyki oraz systemami dowodzenia twierdzeń[5].
Badania i osiągnięcia[edytuj]
Artur Korniłowicz jest jednym z głównych badaczy rozwijających system Mizar, który jest jednym z najstarszych i najbardziej zaawansowanych komputerowych systemów dowodzenia twierdzeń matematycznych. Jego prace koncentrują się na formalizacji różnych dziedzin matematyki przy użyciu systemu Mizar, w tym teorii zbiorów i algebry[6].
System Mizar, opracowany pierwotnie przez Andrzeja Trybulca, jest narzędziem do formalnego dowodzenia twierdzeń matematycznych i stanowi jedno z kluczowych narzędzi w dziedzinie formalizacji matematyki. Korniłowicz odegrał znaczącą rolę w rozwoju tego systemu, w szczególności w zakresie jego zdolności do formalizowania coraz bardziej złożonych twierdzeń matematycznych oraz integrowania go z innymi narzędziami informatycznymi.
Jego badania przyczyniły się do szerokiego zastosowania formalnych dowodów matematycznych w edukacji matematycznej, a także w rozwijaniu metod automatyzacji dowodów. Artur Korniłowicz jest autorem i współautorem wielu publikacji naukowych z zakresu logiki matematycznej, teorii zbiorów oraz informatyki teoretycznej[7].
Działalność dydaktyczna[edytuj]
Artur Korniłowicz prowadzi zajęcia z zakresu logiki matematycznej, teorii zbiorów oraz komputerowych systemów dowodzenia twierdzeń na Uniwersytecie w Białymstoku. Jego zajęcia cieszą się dużym uznaniem wśród studentów, a jego zaangażowanie w rozwijanie metod nauczania matematyki formalnej ma duże znaczenie w kształceniu przyszłych pokoleń matematyków i informatyków.
Publikacje[edytuj]
Artur Korniłowicz jest autorem licznych publikacji naukowych dotyczących formalizacji matematyki oraz zastosowań systemów dowodzenia twierdzeń. Jego artykuły ukazują się w renomowanych czasopismach naukowych i stanowią istotny wkład w rozwój logiki matematycznej oraz teorii dowodu[8].
Nagrody i wyróżnienia[edytuj]
Za swoje osiągnięcia naukowe i dydaktyczne Artur Korniłowicz został wielokrotnie nagradzany. Jest członkiem międzynarodowych towarzystw naukowych zajmujących się formalizacją matematyki i logiką matematyczną.
Przypisy[edytuj]
- ↑ Artur Korniłowicz, math.uwb.edu.pl [dostęp 2024-10-02].
- ↑ 2,0 2,1 Szablon:Ludzie Nauki
- ↑ Artur Korniłowicz, On the formalization of some properties of groups, „Formalized Mathematics” (2), 2001 (ang.).
- ↑ Artur Korniłowicz, Formalization of Functional Programming in Mizar, „Journal of Applied Mathematics and Computational Mechanics” (1), 2014 (ang.).
- ↑ Mizar Project [dostęp 2024-10-01] (ang.).
- ↑ Adam Grabowski, Artur Korniłowicz, Adam Naumowicz, Four Decades of Mizar, „Journal of Automated Reasoning” (3), 2015 (ang.).
- ↑ Artur Korniłowicz, A Proof of the Jordan Curve Theorem, „Journal of Automated Reasoning” (4), 2005 (ang.).
- ↑ Artur Korniłowicz, On Rewriting Rules in Mizar, „Journal of Automated Reasoning” (3), 2019 (ang.).
Błąd Lua w module „Moduł:Kontrola_autorytatywna”, w linii 571: attempt to index field 'wikibase' (a nil value).
This article "Artur Korniłowicz" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Artur Korniłowicz.
