Algorithmic Verification of Modern-Day Concurrency

Algorithmic Verification of Modern-Day Concurrency  
 
Computers play a central role in modern society, but failures can have devastating effects. For this reason, software analysis is vital for responsible software development, yet modern systems are extremely difficult to analyse at scale. The project will develop new theoretical and practical foundations for the analysis of modern software, towards a provably trustworthy digital society. The grant will fund two PhD students and one postdoc, as well as collaborations with international peers.