You also can find somes of my projects here.
I'm currently in a project with the SUMO team (of INRIA Rennes). The subject is model checking of rails networks. We aim to modelize a rail network with markov decision process. You can find our current work here.
Sciences, Saxophone, reading, cooking