معرفی
Andreas Herzig is a CNRS Researcher (Directeur de Recherches) at the LILaC team within IRIT at Université Paul Sabatier in Toulouse. His research focuses on logical models of interaction, including epistemic logics, reasoning about actions, belief revision, and automated theorem proving. He has supervised 24 PhD students and holds the EurAI Fellow distinction. Herzig's work bridges theoretical foundations and practical applications in AI, with contributions to dynamic logic, multi-agent systems, and formal methods.
Education: PhD in Computer Science (1989, Université Paul Sabatier), studies in Computer Science at TU Darmstadt and Université Paul Sabatier.
Research Interests: Core areas include epistemic planning, belief-desire-intention models, and automated reasoning. His work on the tableau prover Lotrec and dynamic logics has been influential. Recent trends in his publications emphasize formalizing social trust, argumentation frameworks, and non-monotonic reasoning.
Grants/Projects: Lead the ANR ForTrust project (2006-2010) on social trust formalization. Currently involved in the EU TAILOR project (2020-2025) on trustworthy AI foundations. Editor-in-chief of Journal of Applied Non-Classical Logics and associate editor of Artificial Intelligence.
Labs/Teams: Head of IRIT's AI Department (2009-2020) and LILaC team (2000-2005). Active in the CIMI Excellence Lab and GDR RADIA (CNRS).
