Commit 5fd1173f authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update xiong.md

parent b37ff659
Pipeline #170393 passed with stages
in 3 minutes and 54 seconds
......@@ -12,5 +12,5 @@ projects:
---
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
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.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment