![]() |
||
0531 / 391 9532 | ![]() |
|
0531 / 391 9529 | ![]() |
|
ed.sb-ut.sc.iti@nehc.l | ![]() |
|
Technische Universität Braunschweig Institut für Theoretische Informatik Mühlenpfordtstr. 22-23 D-38106 Braunschweig |
I have moved to University of Hawaii at Manoa, USA, joining ASECOLab (see http://www.asecolab.org).
I was a postdoc in the Institute of Theoretical Computer Science at TU Braunschweig, working mainly on categorical-algebraic automata theory. My PhD was supervisered by Achim Jung at the University of Birmingham, supported by the EPSRC project: Coalgebraic Logic - Extending the Scope.
My main interest is categorical structures in computer science.
See more detail on my Google Scholar or my LinkedIn profile.