Andreas Herzig

Senior researcher
National Centre for Scientific Research (NCSR) “Demokritos”, GR

Andreas Herzig is a senior researcher at the French National Center for Science Research (CNRS) and works at the the Toulouse Computer Science Research Institute (IRIT) of the University of Toulouse. He studied computer science in Darmstadt and Toulouse and obtained a Ph.D. (1989) and a habilitation (1999) in Computer Science, both from Paul Sabatier University in Toulouse. He works at CNRS since 1990. Andreas’s 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 theorem proving methods for them. He currently investigates the integration of logics of belief and group belief with theories of action, in particular in the framework of dynamic epistemic logics.