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.

Contact

email: filip.mazowiecki (at) u-bordeaux.fr

Research

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

Links

Here is the Méthodes Formelles seminar.

my sister, akademia przyszłości, goblins