蔣嚴冰

蔣嚴冰

蔣嚴冰，男，2003年12月畢業於北京大學，獲計算機科學與理論博士學位。一直從事軟體工程領域的教學和科研工作，指導學生多次獲得全國或國際競賽獎勵，開展創新性的課程教學，並與華為、微軟、IBM等公司開展科研教學合作項目。科研工作中將基礎研究與面向企業服務相結合。教學過程中堅持多種教學法的綜合運用，開發各種教學案例，注重課程的實用性，向學生傳授最前沿的知識和技術。

基本介紹

  • 中文名：蔣嚴冰
  • 國籍：中國
  • 畢業院校：北京大學
  • 學位/學歷：博士
  • 專業方向：軟體工程與數據技術
  • 性別：男
研究方向,人物經歷,主講課程,研究方向,主要科研項目,曾獲獎項,發表論文,社會服務,

研究方向

面向對象方法與技術
UML
蔣嚴冰蔣嚴冰
Web套用技術與工程
模型驅動的軟體開發技術

人物經歷

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.

曾獲獎項

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分會 副秘書長

相關詞條

熱門詞條

聯絡我們