I am post-doc at the University of Edinburgh.
I did my PhD at the University of Warsaw under the supervision of
Damian Niwiński.
You can have a look at my CV
here.
My main interests include automata, logic, games, and descriptive set theory.
I am a member of the
Database Group and I am currently working on XML data exchange.
Effective topological hierarchies of recognizable tree languages, PhD thesis, University of Warsaw, 2008
Weak index vs. Borel rank, Proc. STACS 2008
On the topological complexity of tree languages, co-authored with Andre Arnold, Jacques Duparc, and Damian Niwiński, in:
Erich Graedel, Joerg Flum, Thomas Wilke (eds.),
Logic and Automata: History and Perspectives,
Texts in Logic and Games 2, Amsterdam University Press 2007, 9-29
On the topological complexity of weakly recognizable tree languages, co-authored with Jacques Duparc,
Proc. FCT 2007, LNCS 4639, 261-273
The Wadge Hierarchy of Deterministic Tree Languages,
Proc. ICALP 2006, Part II, LNCS 4052, 408-419
On deciding topological classes of deterministic tree languages,
Proc. CSL 2005, LNCS 3634, 428-442
