Get my own profile
Public access
View all43 articles
32 articles
available
not available
Based on funding mandates
Co-authors
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoVerified email at di.uminho.pt
Xiyue ZhangUniversity of OxfordVerified email at cs.ox.ac.uk
Bernhard AichernigGraz Univ. of Technology (TU Graz)Verified email at ist.tugraz.at
Yang LiuNanyang Technological UniversityVerified email at ntu.edu.sg
Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
Lei MaAssociate Professor, The University of Tokyo, Japan & University of Alberta, CanadaVerified email at acm.org
Philippe Fournier-VigerDistinguished professor, Shenzhen University, ChinaVerified email at szu.edu.cn
Tom ChothiaUniversity of BirminghamVerified email at cs.bham.ac.uk
Xiaoning DuLecturer (a.k.a. Assistant Professor), Monash UniversityVerified email at monash.edu
Weijiang HongNational University of Defense TechnologyVerified email at nudt.edu.cn
Rob van der MeiCWI and Vrije Universiteit AmsterdamVerified email at cwi.nl
Jan RuttenCWIVerified email at cwi.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Natallia KokashUniversity of AmsterdamVerified email at uva.nl
Christel BaierTU DresdenVerified email at tu-dresden.de
Geguang PuProfessor of Computer Science, East China Normal UniversityVerified email at sei.ecnu.edu.cn
Jingyi WangAssistant Professor, Zhejiang UniversityVerified email at zju.edu.cn
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
Follow![Meng Sun](https://usercontent.cljtscd.com/citations?view_op=view_photo&user=R8O-iusAAAAJ&citpid=8)
Meng Sun
Professor, School of Mathematical Science, Peking University
Verified email at math.pku.edu.cn - Homepage