The general aim of his research is to develop formal models of interaction between cognitive agents.
Primarily works in artificial intelligence (AI) with strong interdisciplinary connections to economics, philosophy, and cognitive science.
Uses logic and game theory as formal tools to model interactions among cognitive agents.
Focuses on both expressivity and computational aspects of formal interaction models, including axiomatizability, completeness, decidability, and complexity.
Develops decision procedures (e.g., for satisfiability and model checking) to enable automated reasoning and decision-making in artificial agents.
Current research topics include: logics for autonomous and multi-agent systems, epistemic and cognitive/emotional logics, cognitive and epistemic planning, machine ethics, epistemic game theory, models of influence and persuasion, opinion diffusion in social networks, multi-agent learning, and logic-based explainable AI.