Miguel Couceiro is a Full Professor in Computer Science (CS) and in Mathematics (Math) at the Instituto Superior Técnico (IST), U. Lisbon. Previously, he was a Full Professor in CS at the U.f Lorraine (2014-2024). He got is PhD in mathematics in 2006 from the U. Tampere, Finland, on topics pertaining to multiple valued logic, universal algebra and ordered structures. He also has two habilitation degrees, the first in CS from the U. Paris-Dauphine in 2013 on algebraic tools in multicriteria decision aiding, and the second in Math from the IST, U.Lisbon, in 2023 on topics pertaining to knowledge discovery and reasoning. He has (co-)authored more than 200 articles in international journals, conference proceedings and book chapters. He was an elected member of IEEE MVL-SC technical committee (2018-2020), he was a member of the management committee of the new GDR CNRS RADIA (Reasoning, Learning, and Decision in Artificial Intelligence), and he is regularly invited as a PC member of several major conferences. He was the head of the Orpailleur team at the CNRS lab LORIA from 2019 through 2024. In recent years he has been actively contributing to fair and explainable ML/AI models (he recently proposed FixOut to handle the fairness/accuracy trade-off KD algorithms and that is currently under startup incubation), and to automated reasnoning in machine learning (especially, analogy and case-based reasoning). These research topics are supported by several international and french research projects, e.g., the EU project TAILOR, and the ANR projects AT2TA, InExtenso and RICOCHETS.