Forked from
Verified Software / psvg.doc.ic.ac.uk
100 commits behind the upstream repository.
-
Teresa Carbajo-Garcia authoredTeresa Carbajo-Garcia authored
xiong.md 563 B
firstname: Shale
lastname: Xiong
position: PhD Student
webpage: http://www.doc.ic.ac.uk/~sx14/
email: shale.xiong14@imperial.ac.uk
github: ShaleXIONG
alumnus: true
projects:
- concurrency
- 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, Cambridge, as a Research Engineer in their Security group.