Filip Mazowiecki

I am a research group leader in MPI for Software Systems in Saarbrücken.

About me

I was a postdoc at the University of Bordeaux, a postdoc at the University of Oxford with James Worrell and also a postdoc at the University of Warwick with Ranko Lazić.

Earlier I was a PhD student at the Institute of Informatics, University of Warsaw under supervision of Filip Murlak and Emanuel Kieroński.
Here is my CV.


Concur teaser (or this in case YouTube is unhappy)


email: filipm (at)


My main interests include automata, weighted automata, vector addition systems, and database related logics.


I have a PhD student Philip Offtermatt jointly supervised with Michael Blondin.


Together with Wojtek Czerwiński we co-organise the Friday afternoon seminar.
my sister, akademia przyszłości, goblins