From 33849b361ca29151c761680c8c81a437660bd35e Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 5 May 2017 13:43:16 +0100
Subject: [PATCH] Add new file

---
 _posts/2017-04-24-Dosualdo.md | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 _posts/2017-04-24-Dosualdo.md

diff --git a/_posts/2017-04-24-Dosualdo.md b/_posts/2017-04-24-Dosualdo.md
new file mode 100644
index 0000000..294a3ac
--- /dev/null
+++ b/_posts/2017-04-24-Dosualdo.md
@@ -0,0 +1,10 @@
+---
+title: Welcome to Emanuele D'Osualdo, new member of the group
+---
+A very warm welcome to Emanuele D'Osualdo, who joined the group this week. 
+Emanuele did his PhD on the [Verification of Message Passing Concurrent Systems]( http://www.emanueledosualdo.com/doc/thesis.pdf) 
+at the University of Oxford under the supervision of Prof Luke Ong, winning the 
+[2016 CPHC/BCS Distinguished Dissertation award]( http://academy.bcs.org/content/distinguished-dissertations-2016).
+Emanuele joins us from the [Concurrency Theory Group at the University of Kaiserslautern]( http://concurrency.cs.uni-kl.de/), 
+where he worked with [Prof Roland Meyer]( http://concurrency.cs.uni-kl.de/group/meyer/home.html) and is currently focusing on models of concurrent behaviour to enable the construction of automatic analyses for concurrent systems.
+More details on his [webpage:](http://www.emanueledosualdo.com/research/)
-- 
GitLab