Add new file

_posts/2017-04-24-Dosualdo.md

+---
+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/)