From c9d65828af7e6ed8479a55ce100d6bba9d97ad03 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 2 May 2019 10:16:51 +0100
Subject: [PATCH] Add new file

---
 _posts/2018-09-01-marie_curie.md | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 _posts/2018-09-01-marie_curie.md

diff --git a/_posts/2018-09-01-marie_curie.md b/_posts/2018-09-01-marie_curie.md
new file mode 100644
index 0000000..9fbaf0f
--- /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
-- 
GitLab