From 206ac7c23b9c4b896404801b5eb07099ab1a2cc5 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Tue, 10 Mar 2020 14:26:25 +0000
Subject: [PATCH] Update 2020-02-20-shale.md

---
 _posts/2020-02-20-shale.md | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/_posts/2020-02-20-shale.md b/_posts/2020-02-20-shale.md
index e0bc515..38daf91 100644
--- a/_posts/2020-02-20-shale.md
+++ b/_posts/2020-02-20-shale.md
@@ -1,3 +1,15 @@
 ---
-title: Congratulations to Shale Xiong
+title: Congratulations to Dr Shale Xiong
 ---
+
+Many congratulations to Shale Xiong, who very successfully defended his PhD thesis, Parametric Operational Semantics
+for Consistency Models and many thanks to [Brijesh Dongol](https://www.surrey.ac.uk/people/brijesh-dongol), 
+[Annette Bieniusa](https://softech.informatik.uni-kl.de/homepage/de/staff/AnnetteBieniusa/) and [Susan Eisenbach](https://www.imperial.ac.uk/people/s.eisenbach)
+who acted as the examiners.
+
+Shale's thesis develops a novel operational semantics for distributed key-value stores.
+This model combines the evolution of a global multi-versioning view and the client-local partial views and the
+operational semantics allow to formulate consistency levels from read Strict Serializability to Read 
+Atomicity based on execution tests that validate the correctness of transactional operations on the shared data.  
+
+Shale is currently working as a Research Engineer in the Security group at [Arm Research, Cambridge](https://www.arm.com/resources/research)
\ No newline at end of file
-- 
GitLab