General Information
Research Interests:
I am interested in secure and predictable Artificial Intelligence. For that reason my research concerns the logic-based verification of real-time, multi-agent and autonomous systems so that they can be deployed in applications of societal importance.
In particular I am actively involved in the following topics:
- Symbolic verification of multi-agent systems including SAT- and SMT- based model checking technique.
- Symbolic verification of real-time systems including SAT- and SMT- based model checking technique.
- Symbolic verification of autonomous systems including SAT- and SMT- based model checking technique.
- Development and study of modal formalisms (including temporal, real-time, epistemic, and probabilistic and commitment logic) for the specification of real-time, multi-agent and autonomous systems.