• >
  • >
  • >
  • >
  • >
Sun Meng
Mathematical Sciences
Peking University
Beijing
Language: Chinese, English
Contact
Software Theory Formal Methods Model Checking Theorem Proving Coordination Models
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
Post a Project

Contact us

Let's talk!
* Required
* Required
* Required
* Invalid email address
By submitting this form, you agree that AGP may contact you with insights and marketing messaging.
No thanks, I don't want to receive any marketing emails from AGP.
Submit

Thank you for your message!
We will contact you soon.