Project Details
Description
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.
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.
| Acronym | SAPienT |
|---|---|
| Status | Finished |
| Effective start/end date | 01/02/2024 → 30/06/2024 |
Collaborative partners
- IT University of Copenhagen (lead)
- University of Oxford
Funding
- Carlsberg Foundation: DKK84,116.00
Keywords
- Session types
- Distributed systems
- Probabilistic concurrent programming
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.