diff --git a/_people/xiong.md b/_people/xiong.md index a47f792de40b360599542c662fb8fedebe88ba5b..4cf2e16e8738f1ecb39a97c177c807f28c457d15 100644 --- a/_people/xiong.md +++ b/_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