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:
I often take part in programming competitions.
I like traveling, especially on bicycle.
Get my CV
- 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