Filip Mazowiecki

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

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

Contact

email: filipm (at) mpi-sws.org

Research

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

Links

my sister, akademia przyszłości, goblins