Research

I am a Post-doc at UMONS (Effective Mathematics Team) and ULB (Formal Method and Verification Team), and member of the European FP7 CASSTING project.

Publications

CV

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.

Teaching

I was a teaching assistant in University Paris-Est Marne-la-Vallée in 2010-2013.

Contact

  • Address Campus de la Plaine
    Faculte des sciences
    CP212 - 1050 Bruxelles - Belgium
  • Phone +32 2 650 64 64