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
- Imperative programming (L1) (groupe Maths, Science de la Vie) with Nicolas Thiéry and its pedagogic team.
- Formal language (L3) with Frédéric Gruau
Contact
For research and teaching purpose, please contact me at:
thomas (dot) soullard (at) lmf (dot) cnrs (dot) fr