Commit 189ff4e9 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia

Update xiong.md

parent 0bd5633b
Pipeline #141773 passed with stages
in 3 minutes and 43 seconds
......@@ -11,7 +11,7 @@ projects:
- moc
---
was a PhD student with the group. Shale defended his thesis: Parametric Operational
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
Research Engineer in their Security group.
\ No newline at end of file
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