From ddf51394de921164f012d80a4b2a0f1db9e679b5 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 2 Sep 2020 12:27:50 +0100
Subject: [PATCH] Add new file

---
 _posts/2020-09-01-manu.md | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 _posts/2020-09-01-manu.md

diff --git a/_posts/2020-09-01-manu.md b/_posts/2020-09-01-manu.md
new file mode 100644
index 0000000..6aed35f
--- /dev/null
+++ b/_posts/2020-09-01-manu.md
@@ -0,0 +1,7 @@
+---
+title: Goodbye to Emanuele D’Osualdo
+---
+
+Goodbye and our best wishes to Emanuele D’Osualdo, who is joining [Derek Dreyer]( https://people.mpi-sws.org/~dreyer/)'s group at the [Max Planck Institute for Software Systems (MPI-SWS)](https://www.mpi-sws.org/research-areas/programming-languages-and-verification/) in Saarbrücken, Germany in September. 
+
+Emanuele will be working on verification of concurrent programs and the [IRIS program logic](https://iris-project.org/).
\ No newline at end of file
-- 
GitLab