Professor | Sun Meng | Asia Growth Partners

Name	Sun Meng
Contact Information	sunmeng at math dot pku dot edu dot cn
Language ability	Chinese, English
Province	Beijing

Name

Sun Meng

Contact Information

sunmeng at math dot pku dot edu dot cn

Language ability

Chinese, English

Province

Beijing

University/Lab Affiliation and Title	Peking University
Faculty	Mathematical Sciences
Academic Background & Achievements	2005 PhD: Peking University 1999 Bachelor: Peking University
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
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

University/Lab Affiliation and Title

Peking University

Faculty

Mathematical Sciences

Academic Background & Achievements

2005 PhD: Peking University
1999 Bachelor: Peking University

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

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

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
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

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

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

Software Theory Formal Methods Model Checking Theorem Proving Coordination Models

Songxi Chen - Peking University

Li Ruo - Peking University

Qiuqi Li - Hunan University

View All

Personal Information

Academic Information

Research

Contact us

No account yet?

Personal Information

Academic Information

Research

Contact us