This project targets long-standing deeply technical problems at the heard of this scientific discipline: modelling concurrent programs and will review and consolidate the theoretical foundations of concurrent programming languages by developing a sequence of accurate, yet abstract, models and programming abstractions for phenomena of increasing expressiveness and relevance: probabilistic concurrent computation; dynamically-allocated shared stated; dynamically-allocated message-passing computation; and relaxed shared state (weak memory). 

With the core theoretical work packages for project already in place, ICF funding will support short research visits to new European partners, as well as strengthening existing connections across distinct areas of technical expertise including verification of cryptographic protocols,  automated cost modelling, effect handlers for concurrency and  weak memory modelling.