Get my own profile
Co-authors
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
- Jun WeiInstitute of Software, Chinese Academy of SciencesVerified email at otcaix.iscas.ac.cn
- Henri HansenDocent, University Lecturer, Mathematics, Tampere UniversityVerified email at tuni.fi
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
- Shing-Chi CheungChair Professor of Computer Science and Engineering, HKUSTVerified email at cse.ust.hk
- Georgios TheodoropoulosSUSTech, Shenzhen, ChinaVerified email at sustech.edu.cn
- Thomas Gibson-RobinsonDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
- Ranko LazicDepartment of Computer Science, University of WarwickVerified email at warwick.ac.uk
- Helen TreharneProfessor, Surrey Centre for Cyber SecurityVerified email at surrey.ac.uk
- Markus RoggenbachProfessor of Computer Science, Swansea UniversityVerified email at swan.ac.uk
- Hoang Nga NguyenAssociate Professor, Swansea UniversityVerified email at swansea.ac.uk
- Jaco GeldenhuysAmazon Web ServicesVerified email at amazon.com