孙猛
近期热点
资料介绍
个人简历
教育经历2005北京大学博士1999北京大学学士工作经历2017-北京大学数学科学学院教授2012-2017北京大学数学科学学院副教授2011联合国大学国际软件技术研究所访问学者2010-2012北京大学数学科学学院助理教授2008荷兰莱顿大学计算机科学系兼职讲师2008德国德累斯顿工业大学计算机科学系访问学者2008葡萄牙米尼奥大学信息科学系访问学者2006-2010荷兰数学与计算机科学研究中心研究员2005-2006新加坡国立大学计算学院博士后2002-2003联合国大学国际软件技术研究所客座研究员科研项目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级本科生荣誉获奖2017第20届SBMF国际会议最佳论文奖(1stPlace)2016黄廷方-信和青年杰出学者奖2015第9届TASE国际会议最佳论文奖2014中国工商银行优秀教师奖2014北京大学优秀班主任2004第十届AMAST国际会议最佳论文奖近期论文
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.社会兼职2015.7至今FrontiersinICT编委2015.7至今FrontiersinAppliedMathematicsandStatistics2013.5至今数学科学学院信息科学系副主任2011.9至2015.7数学科学学院2011级本科生4班班主任2011.9第5届软件工具支持理论国际会议程序委员会主席2009.11第6届构件化软件形式化国际会议程序委员会主席 相关热点