From c20ecf8a23b6284b59bc63622127be7b22b6700e Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 5 May 2017 13:46:04 +0100 Subject: [PATCH] Update 2017-04-24-Dosualdo.md --- _posts/2017-04-24-Dosualdo.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/_posts/2017-04-24-Dosualdo.md b/_posts/2017-04-24-Dosualdo.md index 294a3ac..78b2fc4 100644 --- a/_posts/2017-04-24-Dosualdo.md +++ b/_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/) -- GitLab