Maciej Kandulski
| Doktor habilitowany nauk matematycznych | |
| Specjalność: lingwistyka matematyczna, logika obliczeniowa, podstawy informatyki | |
| Alma Mater |
Uniwersytet im. Adama Mickiewicza |
|---|---|
| Habilitacja |
2004 – informatyka |
| Nauczyciel akademicki | |
| Uczelnia | |
Maciej Krzysztof Kandulski – polski matematyk i informatyk, doktor habilitowany nauk matematycznych. Specjalizuje się w lingwistyce matematycznej, logice obliczeniowej oraz podstawach informatyki. Profesor nadzwyczajny na Wydziale Matematyki i Informatyki Uniwersytetu im. Adama Mickiewicza w Poznaniu.
Życiorys
[edytuj | edytuj kod]Habilitował się w 2004 na podstawie dorobku naukowego i rozprawy pt. Języki ciągowe i drzewiaste generowane przez warianty rachunku Lambeka. Pracuje jako profesor nadzwyczajny w Zakładzie Teorii Obliczeń WMiI UAM[1][2][3][4].
Artykuły publikował w takich czasopismach jak m.in. "Mathematical Logic Quarterly", "Wiadomościach Matematycznych" oraz "Fundamenta Informaticae"[5][6].
Przypisy
[edytuj | edytuj kod]- ↑ Dr hab. Maciej Krzysztof Kandulski, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2016-04-27].
- ↑ Zakład Teorii Obliczeń. wmi.amu.edu.pl. [dostęp 2016-03-24]. [zarchiwizowane z tego adresu (2016-06-29)].
- ↑ Pracownicy. wmi.amu.edu.pl. [dostęp 2016-03-24]. [zarchiwizowane z tego adresu (2016-04-20)].
- ↑ prof. UAM dr hab. Maciej Kandulski. usosweb.amu.edu.pl. [dostęp 2016-03-24].
- ↑ Maciej Kandulski. researchgate.net. [dostęp 2016-04-20]. (ang.).
- ↑ author:"Maciej Kandulski". scholar.google.pl. [dostęp 2016-04-22]. (ang.).
Identyfikatory zewnętrzne (osoba):