• AI-inspired Logic-based Methods for the Verification of Security Protocols

    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

  • Monitoring Compliance with Dynamic Norms under Uncertainty

    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

  • Learning Behavioural Norms for Autonomous System

    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