Wojciech Buszkowski
| Data urodzenia | |
|---|---|
| profesor nauk matematycznych | |
| Specjalność: logika matematyczna, teoria obliczeń, lingwistyka matematyczna | |
| Alma Mater | |
| Doktorat |
1982 |
| Habilitacja |
1988 |
| Profesura |
16 grudnia 1997 |
| Nauczyciel akademicki | |
| Uczelnia | |
| Strona internetowa | |
Wojciech Buszkowski (ur. 17 października 1950) – polski matematyk, specjalista w dziedzinie logiki matematycznej i jej zastosowań, lingwistyki matematycznej, logiki obliczeniowej i podstaw informatyki.
Życiorys[edytuj | edytuj kod]
Studiował fizykę i matematykę na Uniwersytecie im. Adama Mickiewicza w Poznaniu. Od roku 1973 magister matematyki, od 1982 doktor. Habilitację uzyskał w 1988. W roku 1997 został mianowany profesorem. Był zaproszonym wykładowcą i prowadził badania naukowe na uniwersytetach w Chicago, Saarbruecken (stypendium Humboldta), Monachium, Amsterdamie i Tarragonie. W latach 1993-1996 pełnił funkcję prezesa Polskiego Towarzystwa Logiki i Filozofii Nauki.
Jest autorem licznych prac naukowych publikowanych w ogólnoświatowych wydawnictwach. Szczególnie znane są jego wyniki z zakresu logicznej teorii gramatyk kategorialnych. Głównymi zainteresowaniami naukowymi są rachunek Lambeka, logiki podstrukturalne, algebry logiki i ich zastosowania w informatyce.
Linki zewnętrzne[edytuj | edytuj kod]
- Prof. dr hab. Wojciech Buszkowski, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI) [dostęp 2009-01-05].[martwy link]