Florian Renkin

Poste actuel

Chercheur postdoctoral à l'Univerité Paris Cité.
Encadré par Eugene Asarin, Mo Foughali et Peter Habermehl.
Membre de l'équipe Modélisation et vérification de l'IRIF.

Sujets de recherche

Mon travail porte sur

• Les systèmes cyberphysiques, la vérification, l'intelligence artificielle
• La manipulation d'ω-automates
• La réduction de machine de Mealy

J'ai été membre de l'équipe automate du LRE et j'ai contribué au développement de Spot.

ORCID

0000-0002-5066-1726

Contact

Bureau

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

Mail

Florian.Renkin[at]irif.fr