Areas of Focus
- 软件理论
- 形式化方法
- 模型检查
- 定理证明
- 协调模型和语言
- 余代数理论
- 信息物理系统
- 区块链与智能合约
- 大数据分析
- 深度学习
Work Experience
- 2017- 教授, 北京大学数学科学学院
- 2012-2017 副教授, 北京大学数学科学学院
- 2011 访问学者, 联合国大学国际软件技术研究所
- 2010-2012 助理教授, 北京大学数学科学学院
- 2008 兼职讲师, 荷兰莱顿大学计算机科学系
- 2008 访问学者, 德国德累斯顿工业大学计算机科学系
- 2008 访问学者, 葡萄牙米尼奥大学信息科学系
- 2006-2010 研究员, 荷兰数学与计算机科学研究中心
- 2005-2006 博士后, 新加坡国立大学计算学院
- 2002-2003 客座研究员, 联合国大学国际软件技术研究所
Academic Background & Achievements
- 2005 博士: 北京大学
- 1999 学士: 北京大学
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
Awards
- 2017 第20届SBMF国际会议最佳论文奖（1st Place）
- 2016 黄廷方-信和青年杰出学者奖
- 2015 第9届TASE国际会议最佳论文奖
- 2014 中国工商银行优秀教师奖
- 2014 北京大学优秀班主任
- 2004 第十届AMAST国际会议最佳论文奖
