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: number sequences, automata, logic, infinite-state systems, functional programs, and games.
Past events
Past events
18-21/09/2018: Highlights of Logic, Games and Automata.
15-21/07/2018: Autobóz: work camp on automata, logic and games theory.