I work at the University of Warsaw. My research is on logic in computer science, with a focus on automata.