Je suis actuellement en thèse, sous la direction de Laurent Doyen, au sein de l'université Paris Saclay. Nous travaillons dans de l'équipe Model Checking and Synthesis, avec Dietmar Berwanger, sur des jeux à information imparfaite, leur représentation par des automates et leur résolution algorithmique.
Enseignement
- Programmation impérative (L1) (groupe Maths, Science de la Vie) avec Nicolas Thiéry
- Langage formel (L3) avec Frédéric Gruau
Contact
Pour toutes questions relatives à mes travaux de recherche ou d’enseignement, merci de me contacter à l'adresse:
thomas (dot) soullard (at) lmf (dot) cnrs (dot) fr