I defended my thesis on December 6, 2013. See details.
After having studied probabilistic tree automata and recursion schemes during my PhD, focusing on theoretical aspects of functional program transformation, I am currently investigating some quantitative game problems and their application to distributed systems.
I was a teaching assistant in University Paris-Est Marne-la-Vallée in 2010-2013.
Campus de la Plaine
Faculte des sciences
CP212 - 1050 Bruxelles - Belgium
- Phone +32 2 650 64 64