Florent Madelaine est Professeur des universités à l’université Paris Est Créteil, chercheur au laboratoire Laboratoire d’Algorithmique, Complexité et Logique (LACL), responsable de l’équipe Logique, Calcul et Programmation (LCP).
Florent Madelaine est Professeur des universités à l’université Paris Est Créteil, chercheur au laboratoire Laboratoire d’Algorithmique, Complexité et Logique (LACL), responsable de l’équipe Logique, Calcul et Programmation (LCP).