Verified Functional Analysis for Safe AI (VeriFunAI)
Navn på bevillingshaver
Alessandro Bruni
Titel
Associate Professor
Institution
IT University of Denmark
Beløb
DKK 89,000
År
2025
Bevillingstype
Field Trips / Research Stays < 100,000
Resumé
The VeriFunAI project aims to make artificial intelligence (AI) safer and more reliable by developing new mathematical tools. These tools will help ensure that AI systems work correctly and do not cause harm, contributing to a future where AI technologies are trustworthy and beneficial for society.