Przejdź do zawartości

Maciej Kandulski

Z Wikipedii, wolnej encyklopedii
Maciej Kandulski
Doktor habilitowany nauk matematycznych
Specjalność: lingwistyka matematyczna, logika obliczeniowa, podstawy informatyki
Alma Mater

Uniwersytet im. Adama Mickiewicza

Habilitacja

2004 – informatyka
UAM

Nauczyciel akademicki
Uczelnia

Uniwersytet im. Adama Mickiewicza w Poznaniu

Maciej Krzysztof Kandulskipolski 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]
  1. Dr hab. Maciej Krzysztof Kandulski, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2016-04-27].
  2. Zakład Teorii Obliczeń. wmi.amu.edu.pl. [dostęp 2016-03-24]. [zarchiwizowane z tego adresu (2016-06-29)].
  3. Pracownicy. wmi.amu.edu.pl. [dostęp 2016-03-24]. [zarchiwizowane z tego adresu (2016-04-20)].
  4. prof. UAM dr hab. Maciej Kandulski. usosweb.amu.edu.pl. [dostęp 2016-03-24].
  5. Maciej Kandulski. researchgate.net. [dostęp 2016-04-20]. (ang.).
  6. author:"Maciej Kandulski". scholar.google.pl. [dostęp 2016-04-22]. (ang.).