From September 2016 to July 2017 I was occupying a post-doc position (adiunkt naukowy) in the computer science institute of the University of Warsaw (MIMUW), where I was part of the project «A unified theory of finite-state recognisability» lead by Mikołaj Bojanczyk. In this project, I was working with Bruno Guillon, Laure Daviaud and Sreejith Ajithkumar Vijayalekshmi. We worked on the characterisation of graphs describing the origin semantics of streaming transducers (and their extensions), and on the decidability of logics over words (i.e. determine which predicate can be added to MSO/FO while retaining decidability).
From September 2015 to June 2016, I had a half-time ATER position in the Laboratoire d’Informatique Gaspard Monge (Champs-sur-Marne) until January, after which I visited Matthew Hague in the computer science department of the Royal Holloway university of London (Egham). We worked on extending verification techniques for higher order models to models which include an arborescent behaviour.
I did my PHD in the Laboratoire d’Informatique Gaspard Monge (Champs-sur-Marne) with Didier Caucal and Antoine Meyer.