Update 2017-04-24-Dosualdo.md

_posts/2017-04-24-Dosualdo.md

@@ -5,6 +5,7 @@ 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.
+Emanuele joins us from the [Concurrency Theory Group at the University of Kaiserslautern]( http://concurrency.cs.uni-kl.de/), Germany
+where he worked with [Prof Roland Meyer]( http://concurrency.cs.uni-kl.de/group/meyer/home.html). His current work focuses 
+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/)