From 7357a8650d0b15d350b93924f3adedadbd0cbb2f Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 5 May 2017 16:05:24 +0100 Subject: [PATCH] Update 2017-04-24-Dosualdo.md --- _posts/2017-04-24-Dosualdo.md | 1 + 1 file changed, 1 insertion(+) diff --git a/_posts/2017-04-24-Dosualdo.md b/_posts/2017-04-24-Dosualdo.md index 78b2fc4..c75f89f 100644 --- a/_posts/2017-04-24-Dosualdo.md +++ b/_posts/2017-04-24-Dosualdo.md @@ -2,6 +2,7 @@ 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). -- GitLab