孫猛(北京大學數學科學學院教授)

教育經歷

2005 北京大學博士
1999 北京大學學士

工作經歷

2017- 北京大學數學科學學院教授

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.

孫猛(北京大學數學科學學院教授)

教育經歷

工作經歷

代表作

科研項目

主講課程

榮譽獲獎

相關詞條

熱門詞條