北京大学数学科学学院博士生导师简介：孙猛

　　考博考生生准备要参加博士研究生考试时，必须要先确定准备攻读博士的相关专业，然后选择该专业有招生需求的学校，接下来应该联系博士生导师，只有当博士生导师同意考生报考，考博生才可以报考。所以提前了解博士生导师的学术文章及联系方式很重要，新东方在线特整理了各招收博士院校博导的简介及联系方式供考博生参考。

　　副教授 - 孙猛

　　基本信息

　　姓名孙猛

　　职称副教授

　　所在部门信息科学系

　　职务信息科学系副主任

　　研究方向软件理论，形式化方法，软件验证和测试，协调模型和语言，面向服务计算，余代数理论，信息物理融合系统

　　个人主页http://www.math.pku.edu.cn/is/~sunm/

　　办公室1382E

　　电话68931

　　电子邮件sunmeng at math dot pku dot edu dot cn

　　备注教学科研相关主要信息均可见本人主页，2013年之后的课题组相关活动更新可见本人BLOG：http://www.math.pku.edu.cn/teachers/sunm/。

　　jpg

　　显示更多

　　教学活动

　　时间课程名称课程面向

　　2014年秋数据结构13级本科生

　　2013年春集合论与图论10级本科生

　　2013年秋数据结构12级本科生

　　2012年春软件理论与方法选讲研究生

　　2012年秋数据结构11级本科生

　　2011年春软件理论与方法选讲研究生

　　2011年春本科生低年级讨论班(信息)09级本科生

　　2011年秋数据结构10级本科生

　　2010年秋数据结构09级本科生

　　主要论著

　　著作名称下载链接

　　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/is/~sunm/查询最新论著信息。

　　科研项目

　　起止时间项目名称资助来源

　　2013-2015基于 Reo 的实时及混成连接件建模与验证方法教育部博士点基金

　　2013-2015基于Reo的协调理论及其在信息物理系统开发方法中的应用国家自然科学基金

　　2011-2012构件化软件的QoS验证及测试方法研究中科院软件所计算机科学重点实验室开放课题

　　社会工作

　　时间所在机构担任职务

　　2013.5至今数学科学学院信息科学系副主任

　　2011.9至今数学科学学院2011级本科生4班班主任

　　2011.9第5届软件工具支持理论国际会议程序委员会主席

　　2009.11第6届构件化软件形式化国际会议程序委员会主席