Projektdetaljer
Beskrivelse
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.
| Akronym | SAPienT |
|---|---|
| Status | Afsluttet |
| Effektiv start/slut dato | 01/02/2024 → 30/06/2024 |
Samarbejdspartnere
- IT-Universitetet i København (leder)
- University of Oxford
Finansiering
- Carlsbergfondet: 84.116,00 kr.
Emneord
- Session types
- Distributed systems
- Probabilistic concurrent programming
Fingerprint
Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.