Project ID: STAI-CDT-2020-IC-36
Themes: Logic, Norms, Verification
Supervisor: Francesco Belardinelli
The security and trustworthiness of AI systems poses a number of challenges related to the complexity of the systems at hand. Indeed, the design and development of security features calls for a careful modelling of the...
Read more
Project ID: STAI-CDT-2020-KCL-27
Themes: AI Provenance, Norms
Supervisor: Natalia Criado
This project will develop the first norm monitor capable of checking compliance with dynamic and adaptable norms on the basis of incomplete and uncertain observations. Most of existing proposals on norm compliance...
Read more
Project ID: STAI-CDT-2020-IC-13
Themes: Norms
Supervisor: Fariba Sadri
This project focuses on the design and implementation of human interpretable intelligent autonomous systems. In particular the project will focus on developing and combining the following concepts and functionalities: ...
Read more
