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.

Videos

Concur teaser (or this in case YouTube is unhappy)

Contact

email: filipm (at) mpi-sws.org

Research

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

Students

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

Links

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