蒋严冰
博士 副教授
软件工程与数据技术系

个人简介


一直从事软件工程领域的教学和科研工作，指导学生多次获得全国或国际竞赛奖励，开展创新性的课程教学，并与华为、微软、IBM等公司开展科研教学合作项目。科研工作中将基础研究与面向企业服务相结合。教学过程中坚持多种教学法的综合运用，开发各种教学案例，注重课程的实用性，向学生传授最前沿的知识和技术。
个人简历


2000.9-2004.3
北京大学信息科学与技术学院 计算机软件与理论理学博士
2004.4-2006.4
清华大学 信息技术研究院 计算机科学技术 博士后
2006.5-
北京大学软件与微电子学院 任教 从事教学科研工作
2010.11-2011.2
作为访问学者在微软亚洲研究院进行Web三维富客户端技术及学术搜索技术的研究与开发

主讲课程


《面向对象技术高级课程》 研究生课程 2008学院精品课程本课程深入、系统、完整地讲解当今主流的面向对象软件开发方法的分析、设计、实现及重构方法，深入讲解UML语言的高级技术细节，以及面向对象方法之后软件方法学最新的发展趋势，并通过大量、丰富、完整、不同领域、应用不同技术的案例将其中的关键知识点串联起来，便于理解和应用。本课程综合国内外多家方法学大师权威视角与多年教学科研成果，集理论性、实用性、研究性、前沿性一体，为工程硕士研究生日后从事大型软件系统的分析设计、系统重构以及建立企业软件开发架构，或从事软件方法学领域应用基础研究提供启发性理论指导及借鉴。
《软件实现技术》 研究生课程 2008教育部-微软精品课程 2012微软课程先锋2006年开始担任本课程主讲教师，微软软件实现技术课程的开设长期得到了微软亚洲研究院、微软公司、微软云创新中心的大力支持。本课程通过详细讲解微软最新技术（window8/widowsphone8/Azure）的介绍和技术指导，提供课程所需的软硬件实验环境，激发同学们学习新技术的兴趣,尝试构建宽松活泼的课程氛围，课程理念在坚持“做中学”的同时，实现从“要我学”到“我要学”的转变。
《模型驱动的软件开发技术》 研究生课程 研究创新性课程 2009年开设本课程结合最新的研究进展与研究实践讲解软件开发方法学在面向对象软件开发方法之后的最新发展趋势与关键技术，如基于构件，面向特征，面向特征等技术。并在此基础上，介绍模型驱动软件开发方法的基本概念与主要思想与优势。重点讲解模型驱动软件开发方法中的关键技术，如元建模技术、模型转换和代码生成的规范与方法。并结合Eclipse Modeling Framework框架中的各种插件，提供模型驱动的软件开发丰富完整的案例。

研究方向


软件开发方法学
面向对象的软件开发技术
模型驱动的软件开发技术
“云+端”移动互联网软件开发技术
软件重构技术

主要科研项目


国家自然科学基金项目“软件外包领域模型驱动开发方法中模型伪装与转换理论研究”课题负责人 2012~2015
华为高校合作项目“支持下一代网络架构和协议的广义模型和转换技术” 课题负责人 2013
IBM高校合作项目“涉及Vendor的软件外包决策方法与工具” 课题负责人 2009.8~2010.7
IBM高校合作项目“软件外包的方法与工具” 课题负责人 2008.8~2009.7
十一五科技支撑项目：村镇数字化管理关键技术研究与应用子课题子课题负责人 2007~2009
中国博士后科学基金项目“扩展UML的过程策略及其在Web领域的应用”课题负责人 2004.12~2006.4

曾获奖项


2010年指导学生获得首届全国UML建模大赛冠军
2013年指导的学生团队在微软创新杯决赛中获得全国决赛二等奖

发表论文


Jiang Yan-bing Shao Wei-zhong Ma Zhi-yi and Feng Yao-dong, On the Formalized Semantics of Static Modeling Elements in UML, Formal Methods And Software Engineering 2002, Procedings Lecture Notes In Computer Science, Springer-Verlag Berlin.（SCI收录）
Yanbing Jiang, Weizhong Shao, Lu Zhang, Zhiyi Ma, Xiangwen Meng and Haohai Ma,On the Classification of UML’s Meta Model Extension Mechanism, UML2004, Procedings Lecture Notes In Computer Science, Springer-Verlag Berlin. (SCI收录 引用1次)
蒋严冰 邢春晓，模型驱动的体系结构研究综述， 南京大学学报（自然科学版），计算机科学专辑 2005.10
蒋严冰 邵维忠 张路，UML中衍型的精确定义与分析， 麻志毅 电子学报 2003.12a（EI收录）
邵维忠 蒋严冰 麻志毅，UML现存问题与发展道路，计算机研究与发展，2003.4（EI收录）
麻志毅 蒋严冰 戴耀飞 李劲宇，面向对象的建模工具——JBOO3.0的研究与开发， 电子学报 2002.12a （EI索引源）
Yanbing Jiang ,Xin Zhou, Ying Liu, Jingkun Hu, A Study on Neural Network based Software Outsourcing Process Pattern Decision, Proceedings of International Conference on Service Science, 2009.5.
Yanbing Jiang, Xin Zhou, Ying Liu, Qi Zeng, Junfang Zhong, A RUP-based Process Pattern for Software Development Outsourcing, International Conference on Service Science, 2010.5.
Yanbing Jiang, Lei Chen,Xin Zhou, Ying Liu,Process-Oriented Software Outsourcing Decision Based on Genetic Algorithm, 2010 IEEE International Conference on Service Operations and Logistics, and Informatics,2010.7.
Zhicong Cheng, Bin Gao, Congkai Sun, Yanbing Jiang and Tie-Yan Liu, Let Web Spammers Expose Themselves, 2011 Fourth International Conference on Web Search and Data Mining, 2011.2.

社会服务


2013年起任清华大学博士后联谊会 IT分会 副秘书长

---