Algorithmic Verification of Modern-Day Concurrency

Algoritmisk verifikation af samtidige processer i datalogi 
 
Computere spiller en central rolle i det moderne samfund, men fejl kan have ødelæggende virkninger. Af denne grund er automatiseret software-analyse nødvendig, men moderne systemer er ekstremt vanskelige at analysere i stor skala.  
Projektet vil udvikle nye algoritmiske fundamenter for verifikation af moderne software, hvilket vil bidrage til udvikling af beviseligt pålidelig software. Bevillingen skal finansiere to ph.d.-studerende og en postdoc i samarbejde med internationale fagfæller.