Filip Mazowiecki

I am a postdoc at the University of Bordeaux and my manager is Jérôme Leroux.

Before that I was 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.


email: filip.mazowiecki (at)


My main interests include automata, weighted automata, vector addition systems, and database related logics.
Here is my CV.

Recent news:

  • In September I will join MPI for Software Systems in Saarbrücken as a research group leader. I'm looking for a phd student or a postdoc to join the team. Please write me an email if you're interested.
  • Our STOC 2019 paper got the best paper award see.
  • BOBRVASS got accepted to CONCUR 2019 [arxiv].
  • Links

    Here is the Méthodes Formelles seminar.

    my sister, akademia przyszłości, goblins