Update xiong.md

_people/xiong.md

@@ -11,7 +11,6 @@ projects:
   - moc
 ---
 
-Shale was a PhD student with the group. Shale defended his thesis: Parametric Operational 
-Semantics for Consistency Models in February 2020 and he is currently working 
-for [Arm Research]( https://www.arm.com/resources/research), Cambridge, as a 
+Shale was a PhD student with the group. Shale defended his thesis: [Parametric Operational 
+Semantics for Consistency Models (https://vtss.doc.ic.ac.uk/publications/Xiong2020Parametric.html) in February 2020 and he is currently working for [Arm Research]( https://www.arm.com/resources/research), Cambridge, as a 
 Research Engineer in their Security group.
\ No newline at end of file