General Information


ORCID iD iconorcid.org/0000-0002-1486-6572

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: