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: