Resume
Background
- 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.