Add new file

_posts/2018-09-01-marie_curie.md

+---
+title: Congratulations to Emanuele D’Osualdo, awarded a Marie-Curie Fellowship
+---
+
+Many congratulations to Emanuele, whose project “Verification through Security 
+and Progress Abstractions” (VeSPA) was awarded a two year [Marie-Curie Individual 
+Fellowship](https://ec.europa.eu/research/mariecurieactions/actions/individual-fellowships_en), 
+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](https://www.emanueledosualdo.com/blog/2018/announce-marie-curie-fellowship.html).
\ No newline at end of file