diff --git a/_posts/2018-09-01-marie_curie.md b/_posts/2018-09-01-marie_curie.md new file mode 100644 index 0000000000000000000000000000000000000000..9fbaf0f928f78defcc1a5cd85cb0574af5d137b3 --- /dev/null +++ b/_posts/2018-09-01-marie_curie.md @@ -0,0 +1,13 @@ +--- +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