-
孫猛
（北京大學數學科學學院教授）
鎖定
北京大學數學科學學院 教授。
2004年，獲第十屆AMAST國際會議最佳論文獎。
- 中文名
- 孫猛
- 國 籍
- 中國
- 畢業院校
- 北京大學
孫猛教育經歷
2005 北京大學 博士
1999 北京大學 學士
孫猛工作經歷
2017- 北京大學數學科學學院教授
[1]
2012-2017 北京大學數學科學學院 副教授
2011 聯合國大學國際軟件技術研究所 訪問學者
2010-2012 北京大學數學科學學院 助理教授
2008 荷蘭萊頓大學計算機科學系 兼職講師
2008 德國德累斯頓工業大學計算機科學系 訪問學者
2008 葡萄牙米尼奧大學信息科學系 訪問學者
2006-2010 荷蘭數學與計算機科學研究中心 研究員
2005-2006 新加坡國立大學計算學院 博士後
2002-2003 聯合國大學國際軟件技術研究所 客座研究員
孫猛代表作
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.
孫猛科研項目
2018-2021 信息物理系統中複雜併發行為的形式化建模與驗證 國家自然科學基金
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國際會議最佳論文獎（1st Place）
2016 黃廷方-信和青年傑出學者獎
2015 第9屆TASE國際會議最佳論文獎
2014 中國工商銀行優秀教師獎
2014 北京大學優秀班主任
2004 第十屆AMAST國際會議最佳論文獎
- 參考資料
-
- 1. 孫猛 ．北京大學數學科學學院．2020-01-01[引用日期2020-01-01]
