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.

Autor portretu: Leszek Żegalski