Studia doktoranckie (2002 - 2007)

Wydział Matematyki i Informatyki
Zakład Teorii Obliczeń

Opiekun naukowy: Prof. dr hab. Wojciech Buszkowski

Tytuł rozprawy: Systemy logiczne dla algebr Kleene'ego i algebr akcji.

Obrona rozprawy doktorskiej: 1 czerwca 2007r.