Get my own profile
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, Dept. of Computer Science and Technology, Peking UniversityVerified email at pku.edu.cn
- Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at hs-karlsruhe.de
- Bruno C. d. S. OliveiraAssistant Professor, The University of Hong KongVerified email at cs.hku.hk
- Lu ZhangPeking UniversityVerified email at sei.pku.edu.cn
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
- Hao DanPeking UniversityVerified email at pku.edu.cn
- 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
- 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
- Yingfei XiongAssociate Professor, Peking UniversityVerified email at sei.pku.edu.cn
- Nick SmallboneChalmers University of TechnologyVerified email at chalmers.se
- Alex GerdesPh.D. candidate, Open Universiteit NederlandVerified email at uu.nl
- Wei Ngan ChinNational University of SingaporeVerified email at comp.nus.edu.sg
- Lingming ZhangUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
- Shayan NajdThe University of EdinburghVerified email at ed.ac.uk
- Feng LiPeking UniversityVerified email at pku.edu.cn
- Dominic OrchardUniversity of KentVerified email at kent.ac.uk
Meng Wang
Senior Lecturer in Computer Science, University of Bristol
Verified email at bristol.ac.uk - Homepage