Shale XIONG (熊 沙乐)

Shale XIONG

I am a PhD student at Dept. of Computing, Imperial College since Oct. 2015, in the Program Specification and Verification Group supervised by Prof. Philippa GARDNER.Currently, I am interesting in verification of concurrent programs and consistency models.

I got MSc. in Advanced Computing from Imperial College in 2015, and BEng. in Software Engineering from Southwest Jiaotong University (西南交通大学), China in 2014.

Publication

Contact

Email:

sx14 [AT] ic.ac.uk

Address:

433 Huxley Building, Dept. of Computing,
South Kensington Campus,
Imperial College London,
London SW7 2AZ, UK