Andreas Herzig is a CNRS researcher (Directeur de Recherches CNRS) in the Logic, Interaction, Language, and Computation Group (LILaC) of IRIT at Université Paul Sabatier. He is the head of IRIT's Department 4 "Artificial Intelligence" and was head of its LILaC team from 2000 to 2005. He is on the Scientific and Governing Board of the CIMI excellence lab and on the Scientific Board of the CNRS GDR IA. He was on the Scientific Board of the CNRS Institute for Information Sciences and Technologies (INS2I) (2014-2018). He is an EurAI Fellow. He is the editor-in-chief of the Journal Applied Non-Classical Logics and associated editor of Artificial Intelligence. He is a member of the editorial Board of the J. of Philosophical Logic (JPL). He served and serves on numerous program committees.
Andreas Herzig studied computer science in Darmstadt and Toulouse. In 1989 he obtained a Ph.D. in Computer Science at Paul Sabatier University in Toulouse on Automated Deduction in Modal Logics. Since 1990 he is a CNRS researcher (senior researcher since 2004). He held visiting professor positions at the Federal University of Curitiba in 2000 (2 months), at the University of São Paulo in 2008 (3 months), at the University of Western Sydney in 2014 (1.5 month), and at Denmark Technical University in 2018 (3 months).
His main research topic is the investigation of logical models of interaction, with a focus on logics for reasoning about knowledge, belief, time, action, intention and obligation, and the development of automated reasoning methods for them. His current interests concern the integration of logics of action and change with logics of belief, including applications in belief-desire-intention logics and multiagent planning.
He has supervised or co-supervised 22 Phd theses.
He published more than 150 scientific papers (DBLP) in journals (Artificial Intelligence, J. of Logic and Computation, Fundamenta Informaticae, J. of Philosophical Logic, Review of Symbolic Logic, Synthese, Logic J. of the IGPL, J. of Semantics, J. of Autonomous Agents and Multi-Agent Systems and others) and conferences (IJCAI, AAMAS, ECAI, AAAI, TARK, KR, UAI and others). He co-authored an introductory book to modal logics and tableaux methods (Springer-Birkhäuser), co-edited a book on Conditional Logics (Oxford University Press) and on Social Intelligence (Springer).
He was the principal investigator of the French ANR funded project `Social trust analysis and formalization' (ForTrust, 2006-2010) and a working group leader of the EU Coordinated Action SINTELNET on social intelligence (2011-2015).
Université Paul Sabatier voice: +33 56155-8123 IRIT-LILaC Fax: -6258 Andreas Herzig 118 route de Narbonne F-31062 Toulouse Cedex 9 France https://www.irit.fr/~Andreas.Herzig