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.