Get my own profile
Public access
View all20 articles
0 articles
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
Jie M. ZhangLecturer (Assistant Professor), King's College LondonVerified email at kcl.ac.uk
Bruno C. d. S. OliveiraAssociate Professor, The University of Hong KongVerified email at cs.hku.hk
Dan HaoPeking UniversityVerified email at pku.edu.cn
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at h-ka.de
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
Cristina DavidUniversity of BristolVerified email at bristol.ac.uk
Patrik JanssonProfessor of Computer Science, Chalmers University of Technology and University of GothenburgVerified email at chalmers.se
Jonas Almström DuregårdChalmers University of TechnologyVerified email at chalmers.se
Shuyin OuyangKing's College LondonVerified email at kcl.ac.uk
Roly PereraUniversity of Cambridge, University of BristolVerified email at cl.cam.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](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=NwDbSggAAAAJ&citpid=2)
Meng Wang
Reader in Computer Science, University of Bristol
Verified email at bristol.ac.uk - Homepage