Leszek Pacholski (ur. 1945)

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania
Ten artykuł dotyczy naukowca związanego z Wrocławiem. Zobacz też: Leszek Pacholski – naukowiec związany z Poznaniem.
Leszek Pacholski
Data i miejsce urodzenia 11 lutego 1945
Osnabrück
Zawód, zajęcie matematyk, logik, informatyk
Tytuł naukowy profesor nauk matematycznych
Stanowisko rektor Uniwersytetu Wrocławskiego (2005–2008)
Odznaczenia
Krzyż Kawalerski Orderu Odrodzenia Polski

Leszek Pacholski (ur. 11 lutego 1945 w Osnabrücku[1]) – polski naukowiec, profesor nauk matematycznych, logik, informatyk. W latach 2005–2008 rektor Uniwersytetu Wrocławskiego.

Życiorys[edytuj | edytuj kod]

W 1967 ukończył studia matematyczne na Uniwersytecie Wrocławskim, w latach 1967–1968 pracował jako asystent na macierzystej uczelni. W latach 1968–1994 był pracownikiem Instytutu Matematycznego Polskiej Akademii Nauk. Tam na podstawie pracy O przeliczalnie zwartych produktach zredukowanych otrzymał stopień naukowy doktora. Habilitował się w 1972 w tej samej instytucji w oparciu o rozprawę zatytułowaną O przeliczalnych uniwersalnych algebrach Boole’a i zwartych klasach modeli. W latach 1973–1993 był kierownikiem Zakładu Podstaw Matematyki, w latach 1980–1990 kierownikiem Oddziału Instytutu we Wrocławiu. Postanowieniem Prezydenta RP z 11 maja 1993 otrzymał tytuł naukowy profesora. W październiku 1994 powrócił na Uniwersytet Wrocławski i rozpoczął pracę w Instytucie Informatyki na Wydziale Matematyki i Informatyki. W latach 1995–1998 kierował Zakładem Teorii Informatyki, w latach 1998–2005 Zakładem Języków Programowania, a w latach 1996–2005 był dyrektorem Instytutu Informatyki. W latach 2005–2008 pełnił funkcję rektora Uniwersytetu Wrocławskiego. W 2008 objął ponownie stanowisko dyrektora Instytutu Informatyki.

Odznaczony Krzyżem Kawalerskim Orderu Odrodzenia Polski (2000)[2]. Wyróżniony Nagrodą im. Stefana Banacha (1974), Nagrodą Fundacji Alfreda Jurzykowskiego (1994) oraz Nagrodą Ministra Nauki (2014).

Przypisy[edytuj | edytuj kod]

Bibliografia[edytuj | edytuj kod]