I'm working as assistant professor at University of Warsaw. My reasearch focuses on automata theory, esspecially on extentions of finite automata, and connections between logics and automata. In particular I was working on:

- data trees and XPath language (fast evaluation of XPath queries),
- higher order pushdown automata,
- complexity of mu-calculus evaluation on finite models,
- timed automata.

Get my PGP key

Licznik: 9083