基本情況
1989.9-1993.7 吉林大學 計算機系(計算機及套用) 學士
1993.9-1996.7 吉林大學 計算機系(計算機組織與系統結構)碩士
1999.12-2001.12 加拿大多倫多大學 信息學院 博士後
2002.1-2004.7 加拿大多倫多大學計算機系 博士後
工作履歷
2004.8-現在 清華大學軟體學院
學術兼職
2006.1- 國際電氣與電子工程師學會(IEEE) 會員
2007.1- 中國計算機學會,軟體工程專委 委員
2010.1- UML認證專家委員會
程式委員會主席: COMPSAC 09,REFS2009-07;
程式委員會分會主席: RE10,COMPSAC2008-07,ICEBE09
研究領域
需求工程,信息系統工程,知識管理,Agent技術
研究概況
1 基於社交建模的安全需求工程技術研究 基金委,面上2009.1-2011.12
2 基於動態最優決策的需求工程技術研究 科技部863面上 2007.9-2009.8
3 基於意圖的形式化需求分析方法研究 基金委,青年 2006.1-2008.12
4 中國軟體需求工程現狀 西門子,海外2008.1-2008.9
5 環境驅動的可信軟體需求工程技術研究 基金委,重點 2009.1-2012.12
6 知識制導的需求工程若干關鍵技術研究 科技部863面上 2007.1-2008.12
7 基於知識的網構軟體需求建模理論和方法研究 科技部973 2002.9-2007.9
8 面向特定套用的典型業務仿真與網構試驗床 科技部973 2008.9-2013.9
學術成果 紀磊(本科生),劉璘(指導教師)。“知文”——基於自然語言的需求分析和建模方法。NASAC’2008. 計算機科學。
單昱琿(MSE),劉璘(指導教師),彭飛。一種多媒體與目標結合的需求抽取方法, NASAC’2008.計算機科學。
熊哲(MSE),劉璘(指導教師),王建民,金芝,面向服務的教育領域需求知識框架,計算機科學,34 (9A),229-232,NASAC’2007。
向堅(MSE),劉璘(指導教師),E. Yu。一種基於社交關係模型的系統安全分析方法,《電子學報》,2006, 34 (B12): 2350-2354
喬偉(MSE),劉璘(指導教師)。基於i*框架的網路服務信任需求建模,國內會議,核心期刊。國防科技大學學報,第41卷,計算機專輯,NASAC’2006。
胡楷模(本科生),劉璘(指導教師), 面向目標的系統設計方法及實例研究, 國內會議,核心期刊。南京大學學報,第41卷,計算機專輯,NASAC’2005。