Florian Renkin

Informations

Doctorant au LRDE, membre de l'équipe Spot

Adresse : Bâtiment Paritalie, 18 rue Pasteur, 94270 Le Kremlin-Bicêtre, France

Publications

• Florian Renkin, Alexandre Duret-Lutz and Adrien Pommellet : Practical "Paritizing" of Emerson-Lei Automata (2020) (pdf, slides)

Parcours

Doctorat

Algorithmique des ω-automates (2019-2022, LRDE)

• Transformation de condition d'acceptation quelconque en condition de parité.

Stage

Symbolic learning of regular transformations (2019, IRIF)

• Concevoir un algorithme d'apprentissage actif pour les transducteurs finis bidirectionnels avec information d'origine.
• Concevoir un algorithme d'apprentissage passif pour les transducteurs finis bidirectionnels avec information d'origine.