Florian Renkin

Université Paris Cité

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 J'ai été membre de l'équipe automate du LRE et j'ai contribué au développement de Spot.

Contact

Bureau

8 place Aurélie Nemours, Paris 13e
Bureau 3028

Mail

Florian.Renkin[at]irif.fr