diff --git a/_posts/2020-02-20-shale.md b/_posts/2020-02-20-shale.md
index 83c8a36ae82e61290f6fb19e78059c896a5c12fa..f70595e95399dd7f7f7522574f1ff0500d0d95a5 100644
--- a/_posts/2020-02-20-shale.md
+++ b/_posts/2020-02-20-shale.md
@@ -2,8 +2,8 @@
 title: Congratulations to Dr Shale Xiong
 ---
 
-Many congratulations to Shale Xiong, who very successfully defended his PhD thesis, Parametric Operational Semantics
-for Consistency Models today.
+Many congratulations to Shale Xiong, who very successfully defended his PhD thesis, [Parametric Operational Semantics
+for Consistency Models](https://vtss.doc.ic.ac.uk/publications/Xiong2020Parametric.html) today.
 
 Many thanks also 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)
@@ -14,4 +14,4 @@ This model combines the evolution of a global multi-versioning view and the clie
 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
+Shale is currently working as a Research Engineer in the Security group at [Arm Research, Cambridge](https://www.arm.com/resources/research)