معرفی
Florent Madelaine is a Professor at the Laboratoire d'Algorithmique, Complexité et Logique (LACL) at the Université Paris-Est Créteil (UPEC). His academic journey includes a PhD from the University of Leicester (2003) under Iain Stewart and Etienne Grandjean. He has held roles such as Lecturer at Clermont-Ferrand (2007–2018) and Research Associate at Durham University (2003–2007), with visiting positions at Charles University and École Polytechnique. His research focuses on theoretical computer science, particularly finite model theory, computational complexity, and constraint satisfaction problems (CSP/QCSP), with contributions to MMSNP logic and complexity dichotomy conjectures. Currently affiliated with CNRS GdR IM, his work bridges algebraic methods and logical frameworks in computational problems.
Education: B.Sc. and M.Sc. in Mathematics (Caen University), M.Sc. in Computer Science (Dresden), PhD in Computer Science (Leicester).
Research interests emphasize foundational aspects of computational complexity, with a focus on logical characterizations, algebraic approaches, and constraint satisfaction problem classifications.
