Safer AI with Probabilistic Session Types (SAPienT)
Safer AI with Probabilistic Session Types (SAPienT)
Name of applicant
Marco Carbone
Title
Associate Professor
Institution
IT University of Denmark
Amount
DKK 87,000
Year
2023
Type of grant
Field Trips / Research Stays < 100,000
Summary
The objective of SAPienT is to develop foundational techniques for programming distributed software correctly with a focus on probabilistic models, laying the basis for making AI system correct. This work will be carried out as part of a research stay at the department of computer science, University of Oxford visiting Prof. Nobuko Yoshida. The project will produce research articles.