教育经历
2005 北京大学 博士
1999 北京大学 学士
1999 北京大学 学士
工作经历
2017- 北京大学数学科学学院 教授
2012-2017 北京大学数学科学学院 副教授
2011 联合国大学国际软件技术研究所 访问学者
2010-2012 北京大学数学科学学院 助理教授
2008 荷兰莱顿大学计算机科学系 兼职讲师
2008 德国德累斯顿工业大学计算机科学系 访问学者
2008 葡萄牙米尼奥大学信息科学系 访问学者
2006-2010 荷兰数学与计算机科学研究中心 研究员
2005-2006 新加坡国立大学计算学院 博士后
2002-2003 联合国大学国际软件技术研究所 客座研究员
2012-2017 北京大学数学科学学院 副教授
2011 联合国大学国际软件技术研究所 访问学者
2010-2012 北京大学数学科学学院 助理教授
2008 荷兰莱顿大学计算机科学系 兼职讲师
2008 德国德累斯顿工业大学计算机科学系 访问学者
2008 葡萄牙米尼奥大学信息科学系 访问学者
2006-2010 荷兰数学与计算机科学研究中心 研究员
2005-2006 新加坡国立大学计算学院 博士后
2002-2003 联合国大学国际软件技术研究所 客座研究员
代表作
Sun Meng and Luis S. Barbosa. Components as Coalgebras: the Refinement Dimension. Theoretical Computer Science. Vol.351(2): 276-294, 2006.
Sun Meng and Luis Barbosa. A Coalgebraic Semantic Framework for Reasoning about Interaction Designs. in Kevin Lano eds. UML Semantics and its Applications. Wiley, 2009.
Sun Meng and Farhad Arbab. QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata. Fundamenta Informaticae, Vol. 95(1), pages 103–128, 2009.
Luis Barbosa and Sun Meng. Bringing Class Diagrams to Life. Innovations in Systems and Software Engineering, Vol. 6 (1-2), pages 91-98, 2010.
Sun Meng. Services and Contracts: Coalgebraically. Vol. 212 of ENTCS, pages 207-223, 2008.
Sun Meng. Pre-Galois Connection on Coalgebras for Generic Component Refinement. Electronic Notes in Theoretical Computer Science. Vol.207: 203-217, 2008.
Sun Meng, Farhad Arbab and Christel Baier. Synthesis of Reo circuits from scenario-based interaction specifications. Science of Computer Programming. Vol. 76(8), pages 651-680, 2011.
Sun Meng，Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer and Jan Rutten. Connectors as Designs: Modeling, Refinement and Test Case Generation. In Science of Computer Programming. vol. 77(7-8), pages 799-822, 2012.
此处不再更新，请到http://www.math.pku.edu.cn/teachers/sunm/pub.html查询最新论著信息。
Sun Meng and Luis Barbosa. A Coalgebraic Semantic Framework for Reasoning about Interaction Designs. in Kevin Lano eds. UML Semantics and its Applications. Wiley, 2009.
Sun Meng and Farhad Arbab. QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata. Fundamenta Informaticae, Vol. 95(1), pages 103–128, 2009.
Luis Barbosa and Sun Meng. Bringing Class Diagrams to Life. Innovations in Systems and Software Engineering, Vol. 6 (1-2), pages 91-98, 2010.
Sun Meng. Services and Contracts: Coalgebraically. Vol. 212 of ENTCS, pages 207-223, 2008.
Sun Meng. Pre-Galois Connection on Coalgebras for Generic Component Refinement. Electronic Notes in Theoretical Computer Science. Vol.207: 203-217, 2008.
Sun Meng, Farhad Arbab and Christel Baier. Synthesis of Reo circuits from scenario-based interaction specifications. Science of Computer Programming. Vol. 76(8), pages 651-680, 2011.
Sun Meng，Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer and Jan Rutten. Connectors as Designs: Modeling, Refinement and Test Case Generation. In Science of Computer Programming. vol. 77(7-8), pages 799-822, 2012.
此处不再更新，请到http://www.math.pku.edu.cn/teachers/sunm/pub.html查询最新论著信息。
科研项目
2018-2021 信息物理系统中复杂并发行为的形式化建模与验证 国家自然科学基金
2017-2018 公安行业大数据分析 企业合作
2016-2020 大规模概率并发实时系统的模型检验 国家自然科学基金
2015-2018 随机和混成系统验证中的可组合性、抽象化方法和带参问题的研究 国际合作
2013-2016 面向对象程序的分离逻辑理论基础 国家自然科学基金
2013-2015 基于 Reo 的实时及混成连接件建模与验证方法 教育部博士点基金
2013-2015 基于Reo的协调理论及其在信息物理系统开发方法中的应用 国家自然科学基金
2011-2012 构件化软件的QoS验证及测试方法研究 中科院软件所计算机科学重点实验室开放课题
2017-2018 公安行业大数据分析 企业合作
2016-2020 大规模概率并发实时系统的模型检验 国家自然科学基金
2015-2018 随机和混成系统验证中的可组合性、抽象化方法和带参问题的研究 国际合作
2013-2016 面向对象程序的分离逻辑理论基础 国家自然科学基金
2013-2015 基于 Reo 的实时及混成连接件建模与验证方法 教育部博士点基金
2013-2015 基于Reo的协调理论及其在信息物理系统开发方法中的应用 国家自然科学基金
2011-2012 构件化软件的QoS验证及测试方法研究 中科院软件所计算机科学重点实验室开放课题
主讲课程
2018年春 软件形式化方法 研究生
2017年春 软件形式化方法 研究生
2017年秋 数据结构（C） 16级本科生
2016年春 软件形式化方法 研究生
2016年秋 数据结构（Python） 15级本科生
2015年秋 数据结构（Python） 14级本科生
2014年秋 数据结构（C） 13级本科生
2013年春 集合论与图论 10级本科生
2013年秋 数据结构 12级本科生
2012年春 软件理论与方法选讲 研究生
2012年秋 数据结构 11级本科生
2011年春 软件理论与方法选讲 研究生
2011年春 本科生低年级讨论班(信息) 09级本科生
2011年秋 数据结构 10级本科生
2010年秋 数据结构 09级本科生
2017年春 软件形式化方法 研究生
2017年秋 数据结构（C） 16级本科生
2016年春 软件形式化方法 研究生
2016年秋 数据结构（Python） 15级本科生
2015年秋 数据结构（Python） 14级本科生
2014年秋 数据结构（C） 13级本科生
2013年春 集合论与图论 10级本科生
2013年秋 数据结构 12级本科生
2012年春 软件理论与方法选讲 研究生
2012年秋 数据结构 11级本科生
2011年春 软件理论与方法选讲 研究生
2011年春 本科生低年级讨论班(信息) 09级本科生
2011年秋 数据结构 10级本科生
2010年秋 数据结构 09级本科生
社会兼职
2015.7至今 Frontiers in ICT 编委
2015.7至今 Frontiers in Applied Mathematics and Statistics
2013.5至今 数学科学学院 信息科学系副主任
2011.9至2015.7 数学科学学院 2011级本科生4班班主任
2011.9 第5届软件工具支持理论国际会议 程序委员会主席
2009.11 第6届构件化软件形式化国际会议 程序委员会主席
2015.7至今 Frontiers in Applied Mathematics and Statistics
2013.5至今 数学科学学院 信息科学系副主任
2011.9至2015.7 数学科学学院 2011级本科生4班班主任
2011.9 第5届软件工具支持理论国际会议 程序委员会主席
2009.11 第6届构件化软件形式化国际会议 程序委员会主席
荣誉获奖
2017 第20届SBMF国际会议最佳论文奖（1st Place）
2016 黄廷方-信和青年杰出学者奖
2015 第9届TASE国际会议最佳论文奖
2014 中国工商银行优秀教师奖
2014 北京大学优秀班主任
2004 第十届AMAST国际会议最佳论文奖
2016 黄廷方-信和青年杰出学者奖
2015 第9届TASE国际会议最佳论文奖
2014 中国工商银行优秀教师奖
2014 北京大学优秀班主任
2004 第十届AMAST国际会议最佳论文奖