Resume

My name is Thomas Mari, I am an master student at ENS-Rennes. I am currently pursuing a master of science in computer science. You can find my CV here.

Links

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.