Filip Mazowiecki

Filip Mazowiecki is an Assistant Professor (adiunkt) at the University of Warsaw's Institute of Informatics. His research examines automata theory, weighted automata, vector addition systems, and database-related logics. He leads the project 'Counting models in formal verification' and previously held positions at MPI for Software Systems, University of Bordeaux, Oxford, and Warwick.

Current work focuses on computational complexity in verification systems and automata applications to database theory. Previously supervised Philip Offtermatt (jointly with Michael Blondin).