PhD student under the supervision of Vladimir Zamdzhiev and Benoit Valiron at QuaCS, Laboratoire Méthodes Formelles