Many congratulations to Emanuele, whose project “Verification through Security and Progress Abstractions” (VeSPA) was awarded a two year Marie-Curie Individual Fellowship, hosted at Imperial College.

Emanuele will be working with Philippa Gardner to explore new ways to effectively prove Progress (aka liveness) and Security (eg. secrecy) of concurrent programs. You can find more details of the project on his blog.