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.
email: filipm (at) mpi-sws.org
My main interests include automata, weighted automata, vector addition systems, and database related logics.
is my CV.
In September I will join MPI for Software Systems in Saarbrücken as a research group leader.
Our STOC 2019 paper got the best paper award see.
BOBRVASS got accepted to CONCUR 2019 [arxiv].
, akademia przyszłości