About me

I am an assistant professor (adiunkt) in the Automata theory group at the Faculty of Mathematics, Informatics and Mechanics, University of Warsaw.

My research areas include: automata, logic, infinite-state systems, functional programs, and games.