Get my own profile
Public access
View all19 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Kazutaka MatsudaTohoku UniversityVerified email at ecei.tohoku.ac.jp
- Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk
- Zhenjiang HuProfessor, School of Computer Science, Peking UniversityVerified email at pku.edu.cn
- Bruno C. d. S. OliveiraAssociate Professor, The University of Hong KongVerified email at cs.hku.hk
- Jie M. ZhangLecturer (Assistant Professor), King's College LondonVerified email at kcl.ac.uk
- Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at h-ka.de
- Dan HaoPeking UniversityVerified email at pku.edu.cn
- Lu ZhangPeking UniversityVerified email at sei.pku.edu.cn
- Nicolas WuReader in Computer Science, Imperial College LondonVerified email at imperial.ac.uk
- Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCLVerified email at ucl.ac.uk
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
- Feng LiPeking UniversityVerified email at pku.edu.cn
- Janis VoigtländerAssociate Professor, Formal Methods in Computer Science, University of Duisburg-EssenVerified email at uni-due.de
- Patrik JanssonProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
- Jonas Almström DuregårdChalmers University of TechnologyVerified email at chalmers.se
- Cristina DavidUniversity of BristolVerified email at bristol.ac.uk
- Roly PereraUniversity of Cambridge, University of BristolVerified email at cl.cam.ac.uk
- Shuyin OuyangKing's College LondonVerified email at kcl.ac.uk
- Hao TangPeking UniversityVerified email at sei.pku.edu.cn
- Yingfei XiongAssociate Professor, Peking UniversityVerified email at sei.pku.edu.cn
Follow
Meng Wang
Reader in Computer Science, University of Bristol
Verified email at bristol.ac.uk - Homepage