Get my own profile
Public access
View all12 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
- Bruno C. d. S. OliveiraAssistant 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
- Hao DanPeking UniversityVerified email at pku.edu.cn
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
- Janis VoigtländerAssociate Professor Formal Methods in Computer Science, University of Duisburg-EssenVerified email at uni-due.de
- Nicolas WuSenior Lecturer in Computer Science, Imperial College LondonVerified email at imperial.ac.uk
- Jie M. ZhangLecturer (Assistant Professor), King's College LondonVerified email at kcl.ac.uk
- 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
- Feng LiPeking UniversityVerified email at pku.edu.cn
- Yingfei XiongAssociate Professor, Peking UniversityVerified email at sei.pku.edu.cn
- Mark HarmanResearch Scientist at Facebook & Professor of Software Engineering at UCLVerified email at ucl.ac.uk
- Hao TangPeking UniversityVerified email at sei.pku.edu.cn
- Nicholas SmallboneChalmers University of TechnologyVerified email at chalmers.se
- Alex GerdesPh.D. candidate, Open Universiteit NederlandVerified email at uu.nl
- Lingming ZhangUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Follow
Meng Wang
Senior Lecturer in Computer Science, University of Bristol
Verified email at bristol.ac.uk - Homepage