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.
email: filip.mazowiecki (at) u-bordeaux.fr
My main interests include automata, weighted automata, vector addition systems, datalog, FO2 and bidon theory.
Someone told me I should put a CV
on my webpage.
is the Méthodes Formelles seminar.
, akademia przyszłości