Verified Functional Analysis for Safe AI (VeriFunAI)
Name of applicant
Alessandro Bruni
Title
Associate Professor
Institution
IT University of Denmark
Amount
DKK 89,000
Year
2025
Type of grant
Field Trips / Research Stays < 100,000
Summary
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.