职称:教授
职务:信息科学系副主任
所在部门:信息科学系
个人主页
1382E 68931 sunmeng at math dot pku dot edu dot cn
教育经历
2005 北京大学 博士
1999 北京大学 学士
工作经历
2017-北京大学数学科学学院教授
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查询最新论著信息。
科研项目
2018-2021信息物理系统中复杂并发行为的形式化建模与验证国家自然科学基金
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级本科生
社会兼职
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届构件化软件形式化国际会议程序委员会主席
荣誉获奖
2017第20届SBMF国际会议最佳论文奖(1st Place)
2016黄廷方-信和青年杰出学者奖
2015第9届TASE国际会议最佳论文奖
2014中国工商银行优秀教师奖
2014北京大学优秀班主任
2004第十届AMAST国际会议最佳论文奖
删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
北京大学数学学院导师教师师资介绍简介-孙猛
本站小编 Free考研考试/2020-04-10
相关话题/北京大学 数学学院
北京大学数学学院导师教师师资介绍简介-孙文祥
职称:教授所在部门:微分方程教研室1519E53000sunwxatmathdotpkudotedudotcn教育经历1993中山大学博士工作经历2000-北京大学数学科学学院教授1996-2000北京大学数学科学学院副教授1994-1995北京大学数学科学学院博士后1979-1991河北师范大学讲师代表作K.Moriyasu,K.Sakai,W.Sun,$C^1$-stablyexpansive ...北京大学考研导师 本站小编 Free考研考试 2020-04-10北京大学数学学院导师教师师资介绍简介-孙万龙
职称:讲师所在部门:统计学教研室1485Swlsunatmathdotpkudotedudotcn教育经历1991北京大学博士1989北京大学硕士1986北京科技大学学士代表作SAS/STAT软件使用手册第43章中国统计出版社SomenewresultsonconfidencelimitsMathematicalsciences关于无效情形下参数的值限制应用数学学报科研项目导弹武器系统可靠性增长试 ...北京大学考研导师 本站小编 Free考研考试 2020-04-10北京大学数学学院导师教师师资介绍简介-唐林
职称:副教授所在部门:分析教研室1550W59566tanglinatmathdotpkudotedudotcn教育经历1995新疆大学学士1998新疆大学硕士2001北京师范大学博士工作经历2008-北京大学数学科学学院副教授2003-2008北京大学数学科学学院讲师2001-2003北京大学数学科学学院博士后 ...北京大学考研导师 本站小编 Free考研考试 2020-04-10北京大学数学学院导师教师师资介绍简介-汤华中
职称:教授所在部门:科学与工程计算系个人主页1379Ehztangatmathdotpkudotedudotcn;hztangatpkudotedudotcn;教育经历1996南京航空航天大学博士1993南京航空航天大学硕士1990苏州大学学士工作经历2004.8-北京大学数学科学学院教授2002.6-2003.9德国Otto-von-GuerickeUniversityMagdeburg洪堡学者 ...北京大学考研导师 本站小编 Free考研考试 2020-04-10北京大学数学学院导师教师师资介绍简介-田青春
职称:副教授所在部门:代数与数论教研室个人主页1611E55637yhtianatmathdotpkudotedudotcn教育经历1984大专1989学士1992吉林大学博士 ...北京大学考研导师 本站小编 Free考研考试 2020-04-10北京大学数学学院导师教师师资介绍简介-田刚
职称:教授所在部门:几何与拓扑教研室7910544198GTianatmathdotpkudotedudotcn教育经历1982南京大学学士1988哈佛大学博士工作经历1991-北京大学数学科学学院教授2009-普林斯顿大学Higgins教授2003-2009普林斯顿大学教授1996-2006麻省理工学院Simons教授1995-1996麻省理工学院教授1992-1996纽约大学柯朗数学科学研究所 ...北京大学考研导师 本站小编 Free考研考试 2020-04-10北京大学数学学院导师教师师资介绍简介-王超
职称:研究员所在部门:微分方程教研室14106Ewangchaoatmathdotpkudotedudotcn代表作TheCauchyproblemonlargetimeforsurface-waves-typeBoussinesqsystemsII.SIAMJ.Math.Anal.49(2017),no.4,2321–2386.(withJ.C.SautandL.Xu)Globalwell-po ...北京大学考研导师 本站小编 Free考研考试 2020-04-10北京大学数学学院导师教师师资介绍简介-王保祥
职称:教授职务:无所在部门:微分方程教研室个人主页1371E55951wbxatmathdotpkudotedudotcn教育经历1993中科院工程物理所博士工作经历2002-北京大学数学科学学院教授1997-2002河北大学数学与信息科学学院教授?1995-1997河北大学数学与信息科学学院副教授1994-1995河北大学数学与信息科学学院讲师代表作1.Isometricdecompositio ...北京大学考研导师 本站小编 Free考研考试 2020-04-10北京大学数学学院导师教师师资介绍简介-王冠香
职称:教授所在部门:微分方程教研室个人主页1381E58265gxwangatmathdotpkudotedudotcn教育经历1984南京大学学士1996苏州大学博士工作经历2006-北京大学数学科学学院教授1999-2006北京大学数学科学学院副教授1996-1998北京大学数学科学学院博士后 ...北京大学考研导师 本站小编 Free考研考试 2020-04-10北京大学数学学院导师教师师资介绍简介-王福正
职称:副教授所在部门:代数与数论教研室1585Efzwangatmathdotpkudotedudotcn教育经历学士1996北京大学博士工作经历2002-北京大学数学科学学院副教授1996-2002北京大学数学科学学院讲师主讲课程99-00第一学期交换代数研究生00-01第一学期交换代数研究生 ...北京大学考研导师 本站小编 Free考研考试 2020-04-10