Get my own profile
Public access
View all23 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
Cristina DavidUniversity of BristolVerified email at bristol.ac.uk
Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCLVerified email at ucl.ac.uk
Dan HaoPeking UniversityVerified email at pku.edu.cn
Bruno C. d. S. OliveiraAssociate Professor, The University of Hong KongVerified email at cs.hku.hk
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
Shuyin OuyangKing's College LondonVerified email at kcl.ac.uk
Hanliang ZhangPh.D., University of BristolVerified email at bristol.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 Technology and University of GothenburgVerified email at chalmers.se
Jonas Almström DuregårdChalmers University of TechnologyVerified email at chalmers.se
Daniel KroeningAmazonVerified email at amazon.com
Roly PereraUniversity of Cambridge, University of BristolVerified email at cl.cam.ac.uk
Follow
Meng Wang
Reader in Computer Science, University of Bristol
Verified email at bristol.ac.uk - Homepage