My main interest is in Logic and Formal Methods for AI. In particular:

• Logic-based explainable AI

• Foundations of synthesis and planning for temporally extended goals

• Verification of distributed and multi-agent systems

• Logics for games and strategic reasoning

• Automata theory and formal-language theory

• Finite and algorithmic model theory