Professor | 孙猛 | 数字化转型顾问

Name	孙猛
Contact Information	sunmeng at math dot pku dot edu dot cn
Language ability	中文, 英语
Province	北京

Name

孙猛

Contact Information

sunmeng at math dot pku dot edu dot cn

Language ability

中文, 英语

Province

北京

University/Lab Affiliation and Title	北京大学
Faculty	Mathematical Sciences
Academic Background & Achievements	2005 博士: 北京大学 1999 学士: 北京大学
Work Experience	2017- 教授, 北京大学数学科学学院 2012-2017 副教授, 北京大学数学科学学院 2011 访问学者, 联合国大学国际软件技术研究所 2010-2012 助理教授, 北京大学数学科学学院 2008 兼职讲师, 荷兰莱顿大学计算机科学系 2008 访问学者, 德国德累斯顿工业大学计算机科学系 2008 访问学者, 葡萄牙米尼奥大学信息科学系 2006-2010 研究员, 荷兰数学与计算机科学研究中心 2005-2006 博士后, 新加坡国立大学计算学院 2002-2003 客座研究员, 联合国大学国际软件技术研究所
Awards	2017 第20届SBMF国际会议最佳论文奖（1st Place） 2016 黄廷方-信和青年杰出学者奖 2015 第9届TASE国际会议最佳论文奖 2014 中国工商银行优秀教师奖 2014 北京大学优秀班主任 2004 第十届AMAST国际会议最佳论文奖

University/Lab Affiliation and Title

北京大学

Faculty

Mathematical Sciences

Academic Background & Achievements

2005 博士: 北京大学
1999 学士: 北京大学

Work Experience

2017- 教授, 北京大学数学科学学院
2012-2017 副教授, 北京大学数学科学学院
2011 访问学者, 联合国大学国际软件技术研究所
2010-2012 助理教授, 北京大学数学科学学院
2008 兼职讲师, 荷兰莱顿大学计算机科学系
2008 访问学者, 德国德累斯顿工业大学计算机科学系
2008 访问学者, 葡萄牙米尼奥大学信息科学系
2006-2010 研究员, 荷兰数学与计算机科学研究中心
2005-2006 博士后, 新加坡国立大学计算学院
2002-2003 客座研究员, 联合国大学国际软件技术研究所

Awards

2017 第20届SBMF国际会议最佳论文奖（1st Place）
2016 黄廷方-信和青年杰出学者奖
2015 第9届TASE国际会议最佳论文奖
2014 中国工商银行优秀教师奖
2014 北京大学优秀班主任
2004 第十届AMAST国际会议最佳论文奖

Areas of Focus	软件理论形式化方法模型检查定理证明协调模型和语言余代数理论信息物理系统区块链与智能合约大数据分析深度学习
Publications	Components as Coalgebras: the Refinement Dimension, 孙猛和Luis S. Barbosa, 2006 A Coalgebraic Semantic Framework for Reasoning about Interaction Designs, 孙猛和Luis Barbosa, 2009 QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata, 孙猛和Farhad Arbab, 2009 Bringing Class Diagrams to Life, Luis Barbosa和孙猛, 2010 Services and Contracts: Coalgebraically, 孙猛, 2008 Pre-Galois Connection on Coalgebras for Generic Component Refinement, 孙猛, 2008 Synthesis of Reo circuits from scenario-based interaction specifications, 孙猛, Farhad Arbab和Christel Baier, 2011 Connectors as Designs: Modeling, Refinement and Test Case Generation, 孙猛, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer和Jan Rutten, 2012

Areas of Focus

软件理论
形式化方法
模型检查
定理证明
协调模型和语言
余代数理论
信息物理系统
区块链与智能合约
大数据分析
深度学习

Publications

Components as Coalgebras: the Refinement Dimension, 孙猛和Luis S. Barbosa, 2006
A Coalgebraic Semantic Framework for Reasoning about Interaction Designs, 孙猛和Luis Barbosa, 2009
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata, 孙猛和Farhad Arbab, 2009
Bringing Class Diagrams to Life, Luis Barbosa和孙猛, 2010
Services and Contracts: Coalgebraically, 孙猛, 2008
Pre-Galois Connection on Coalgebras for Generic Component Refinement, 孙猛, 2008
Synthesis of Reo circuits from scenario-based interaction specifications, 孙猛, Farhad Arbab和Christel Baier, 2011
Connectors as Designs: Modeling, Refinement and Test Case Generation, 孙猛, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer和Jan Rutten, 2012

软件理论形式化方法模型检查定理证明协调

邓昌松 - 武汉大学

Area of Focus
随机 | 分析 | 概率 | 数学 | 统计 | 建模 | 理论 | 研究 | 定量 | 方法

让光林 - 武汉大学

Area of Focus
随机 | 分析 | 概率 | 数学 | 统计 | 建模 | 理论 | 研究 | 定量 | 方法

陈松蹊 - 北京大学

Area of Focus
高维 | 数据 | 分析 | 统计 | 基因 | 检测 | 样本 | 维度 | 应用 | 理论 | 随机 | 过程 | 金融 | 推断 | 连续 | 时间 | 方法 | 模型 | 空气 | 质量 | 评估 | 诊断 | Pm2.5 | 一致性 | 可靠性 | 流行病学 | 疾病 | 健康 | 公共

View All

Personal Information

Academic Information

Research

联系我们

还未创建账户?

Personal Information

Academic Information

Research

联系我们