Meng Sun
Meng Sun
Full Professor, School of Mathematical Sciences, Peking University
Joined
July 2019
Names
Emails
****@pku.edu.cn (Confirmed)
Personal Links
Career & Education History
Full Professor
School of Mathematical Sciences, Peking University (pku.edu.cn)
2017 – Present
Associate Professor
School of Mathematical Sciences, Peking University (pku.edu.cn)
2012 – 2017
Assistant Professor
School of Mathematical Sciences, Peking University (pku.edu.cn)
2010 – 2012
Researcher
SEN3, Centrum voor Wiskunde en Informatica (cwi.nl)
2006 – 2010
Postdoc
Department of Computing, National University of Singapore (nus.edu.sg)
2005 – 2006
PhD student
School of Mathematical Sciences, Peking University (pku.edu.cn)
1999 – 2005
Advisors, Relations & Conflicts
PhD Advisor
Naixiao Zhang
1999 – 2005
Expertise
Formal Methods
Present
Theory of Programming
Present
Trustworthy AI
Present