Choco: Choreographies for Connected IT Systems

Project Title: Koreografier til forbundne IT-systemer 

I dag gør samfundet omfattende brug af computernetværk til digitale virksomheder, sundhedsydelser, kommunikation og underholdning. Korrekt programmering af disse vigtige systemer er udfordrende, hvilket hindrer fremskridt og kan udgøre en fare for vores helbred. Dette projekt vil undersøge en ny videnskabelig metode til at sikre, at forbundne computersystemer følger passende "koreografier" af pålidelige og sikre dataudvekslinger. Bevillingen vil finansiere to postdocs og en ph.d.-studerende.