Poste actuel
Attaché temporaire d'enseignement et de recherche (ATER) à l'Univerité Paris Cité.Membre de l'équipe automates de l'IRIF.
Sujet de recherche
Mon travail porte sur la synthèse de contrôleurs réactifs. Cela inclut- La manipulation d'ω-automates
- La réduction de machine de Mealy
Contact
Bureau
8 place Aurélie Nemours, Paris 13eBureau 3028