Thomas Soullard

I am now in PhD, under the supervision of Laurent Doyen, in the Paris-Saclay university. We work in the team Model Checking and Synthesis, avec Dietmar Berwanger, on game with imperfect information, thei representation by automata and their algorithmic resolution.

Teaching

Contact

For research and teaching purpose, please contact me at:
thomas (dot) soullard (at) lmf (dot) cnrs (dot) fr