Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
Forked from Verified Software / psvg.doc.ic.ac.uk
100 commits behind the upstream repository.
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.