I am a research group leader in MPI for Software Systems in Saarbrücken.
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.