Leszek Pacholski
Z Wikipedii
Leszek Pacholski (ur. 1945) - polski profesor matematyki, logik, informatyk. W latach 2005-2008 rektor Uniwersytetu Wrocławskiego.
[edytuj] Biografia
W latach 1968-1980 pracował w Instytucie Matematycznym Polskiej Akademii Nauk. Od roku 1980 związany z Uniwersytetem Wrocławskim. Tytuł profesorski uzyskał w 1993 r. Specjalista z zakresu zastosowania logiki w informatyce. Odznaczony w 2000 r. Krzyżem Kawalerskim Orderu Odrodzenia Polski.
W pracy naukowej zajmował się teorią modeli, unifikacją, logikami ze zliczaniem, programowaniem w logice i więzami mnogościowymi (ang. set constraints).
[edytuj] Ważniejsze fakty z kariery naukowej
- 1967 - praca magisterska z matematyki na Uniwersytecie Wrocławskim
- 1970 - doktorat z matematyki w Instytucie Matematycznym PAN
- 1972 - habilitacja
- 1974 - Nagroda Banacha
- 1993 - tytuł profesorski
- od 1996 do 2005 - dyrektor Instytutu Informatyki w Wydziale Matematyki i Informatyki na Uniwersytecie Wrocławskim
- 2005 - wybór na rektora Uniwersytetu Wrocławskiego
[edytuj] Linki zewnętrzne
- Strona domowa
- Wpis w bazie ludzi nauki portalu nauka-polska.pl (OPI)