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).
![](http://observatoire-asap.org/wp-content/uploads/2020/12/FlorentM-1009x840.jpg)
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).