Skip to content
GCC AI Research

Trustworthiness Assurance for Autonomous Software Systems in the AI Era

MBZUAI · Notable

Ethics Research Policy Software AI

Summary

Dr. Youcheng Sun from the University of Manchester presented on ensuring the trustworthiness of AI systems using formal verification, software testing, and explainable AI. He discussed applying these techniques to challenges like copyright protection for AI models. Dr. Sun's research has been funded by organizations including Google, Ethereum Foundation, and the UK’s Defence Science and Technology Laboratory. Why it matters: As AI adoption grows in the GCC, ensuring the safety, dependability, and trustworthiness of these systems is crucial for public trust and responsible innovation.

Keywords

Trustworthy AI · Formal verification · Software testing · Explainable AI · Copyright protection

Read original article →

Get the weekly digest

Top AI stories from the GCC region, every week.

Related

Auto-assessment of assessment: A conceptual framework towards fulfilling the policy gaps in academic assessment practices

arXiv ·

This paper introduces an AI framework for autonomous assessment of student work, addressing policy gaps in academic practices. A survey of 117 academics from the UK, UAE, and Iraq reveals positive attitudes toward AI in education, particularly for autonomous assessment. The study also highlights a lack of awareness of modern AI tools among experienced academics, emphasizing the need for updated policies and training.