Multimedialna BAZA DANYCH

Dzieje Uniwersytetu > Rektorzy UWr > Prof. Leszek Pacholski

Prof. Leszek Pacholski
2030e-18_pacholski002_www.jpg
58c10-18_pacholski001_www.jpg

Rektorzy UWr

Prof. Leszek Pacholski

ur. 11.02.1945

rektor UWr 1 września 2005 – 31 sierpnia 2008

Matematyk i informatyk. W latach 1968–1980 pracował w Instytucie Matematycznym PAN. Od 1980 związany zawodowo z Uniwersytetem Wrocławskim. Od 1996 dyrektor Instytutu Informatyki. W okresie 1976–2001 członek redakcji "Fundamenta Mathematicae", w latach 1992–2000 "Colloquium Mathematicum", obecnie w redakcjach "ACM Transations on Computational Logic" oraz "Annals of Pure and Applied Logic". Dziewięć lat należał do "European Committee of the Association for Symbolic Logic", przez trzy lata kierując tym komitetem. Był przewodniczącym jury nagrody przyznawanej przez Association for Computing Machinery (ACM) za najlepszą rozprawę doktorską z informatyki na świecie. W 1974 roku otrzymał nagrodę Banacha, a w 1994 – nagrodę Fundacji Jurzykowskiego. Renomowane uczelnie w Stanach Zjednoczonych, Francji, Wielkiej Brytanii, Kanadzie i Włoszech zapraszały go kilkanaście razy na dłuższe pobyty.
Zainteresowania naukowe prof. Pacholskiego obejmują szerokie spektrum zagadnień związanych z logiką i informatyką. W pracy naukowej zajmuje się teorią modeli, unifikacją, logikami ze zliczaniem, programowaniem w logice i więzami mnogościowymi (ang. set constraints). W latach 70. pracował głównie nad teorią modeli. Obecnie koncentruje się nad zastosowaniami logiki w informatyce. Lista jego oryginalnych prac liczy ponad 30 pozycji.

Zobacz również:


Projekt "Multimedialna baza danych o twórczości, działalności oraz instrumentarium naukowym wybitnych uczonych związanych z Uniwersytetem Wrocławskim"
współfinansowany przez Unię Europejską ze środków Europejskiego Funduszu Rozwoju Regionalnego w ramach Regionalnego Programu Operacyjnego dla Województwa Dolnośląskiego na lata 2007-2013