Post-doc in verification of infinite-state systems. Interested in all things related to automata theory, games, parameterized verification, modal logics.