Areas of Focus
- Software theory
- Formal methods
- Model checking
- Theorem proving
- Coordination models and languages
- Co-algebra theory
- Cyber-physical systems
- Blockchain and smart contracts
- Big data analysis
- Deep learning
Work Experience
- 2017- Professor, School of Mathematical Sciences, Peking University
- 2012-2017 Associate Professor, School of Mathematical Sciences, Peking University
- 2011 Visiting Scholar, United Nations University International Institute for Software Technology
- 2010-2012 Assistant Professor, School of Mathematical Sciences, Peking University
- 2008 Part-time Lecturer, Department of Computer Science, Leiden University, Netherlands
- 2008 Visiting Scholar, Department of Computer Science, Dresden University of Technology, Germany
- 2008 Visiting Scholar, Department of Information Science, University of Minho, Portugal
- 2006-2010 Researcher, Dutch Center for Mathematics and Computer Science
- 2005-2006 Postdoctoral Fellow, School of Computing, National University of Singapore
- 2002-2003 Visiting Researcher, United Nations University International Institute for Software Technology
Academic Background & Achievements
- 2005 PhD: Peking University
- 1999 Bachelor: Peking University
Publications
- Components as Coalgebras: the Refinement Dimension, Sun Meng and Luis S. Barbosa, 2006
- A Coalgebraic Semantic Framework for Reasoning about Interaction Designs, Sun Meng and Luis Barbosa, 2009
- QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata, Sun Meng and Farhad Arbab, 2009
- Bringing Class Diagrams to Life, Luis Barbosa and Sun Meng, 2010
- Services and Contracts: Coalgebraically, Sun Meng, 2008
- Pre-Galois Connection on Coalgebras for Generic Component Refinement, Sun Meng, 2008
- Synthesis of Reo circuits from scenario-based interaction specifications, Sun Meng, Farhad Arbab and Christel Baier, 2011
- Connectors as Designs: Modeling, Refinement and Test Case Generation, Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer and Jan Rutten, 2012
Awards
- 2017 1st Place Best Paper Award at the 20th SBMF International Conference
- 2016 Tingfang-Xinhe Young Outstanding Scholar Award
- 2015 Best Paper Award at the 9th TASE International Conference
- 2014 ICBC Excellent Teacher Award
- 2014 Peking University Excellent Class Teacher
- 2004 Best Paper Award at the 10th AMAST International Conference