diff --git a/_posts/2017-04-24-Dosualdo.md b/_posts/2017-04-24-Dosualdo.md index 78b2fc40ba606cb8a47df23b4459bab88777ed90..c75f89fd3793c6e4701529b4e002fc0c36f3a5c3 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).