孙猛 - 北京大学 - 数学科学学院

个人简介

教育经历 2005 北京大学博士 1999 北京大学学士工作经历 2017- 北京大学数学科学学院教授 2012-2017 北京大学数学科学学院副教授 2011 联合国大学国际软件技术研究所访问学者 2010-2012 北京大学数学科学学院助理教授 2008 荷兰莱顿大学计算机科学系兼职讲师 2008 德国德累斯顿工业大学计算机科学系访问学者 2008 葡萄牙米尼奥大学信息科学系访问学者 2006-2010 荷兰数学与计算机科学研究中心研究员 2005-2006 新加坡国立大学计算学院博士后 2002-2003 联合国大学国际软件技术研究所客座研究员荣誉获奖 2017 第20届SBMF国际会议最佳论文奖（1st Place） 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至今FrontiersinAppliedMathematicsandStatistics 2013.5至今数学科学学院信息科学系副主任 2011.9至2015.7数学科学学院2011级本科生4班班主任 2011.9第5届软件工具支持理论国际会议程序委员会主席 2009.11第6届构件化软件形式化国际会议程序委员会主席