基本情況
劉璘，生于1973年12月7日，博士，清華大學(xué)軟件學(xué)院副教授。
1989.9-1993.7 吉林大學(xué) 計(jì)算機(jī)系(計(jì)算機(jī)及應(yīng)用) 學(xué)士
1993.9-1996.7 吉林大學(xué) 計(jì)算機(jī)系(計(jì)算機(jī)組織與系統(tǒng)結(jié)構(gòu))碩士
1996.8-1999.9中科院數(shù)學(xué)研究所(計(jì)算機(jī)軟件) 博士
1999.12-2001.12 加拿大多倫多大學(xué) 信息學(xué)院 博士后
2002.1-2004.7 加拿大多倫多大學(xué)計(jì)算機(jī)系 博士后
工作履歷
2004.8-現(xiàn)在 清華大學(xué)軟件學(xué)院
學(xué)術(shù)兼職
2006.1- 國際電氣與電子工程師學(xué)會(huì)(IEEE) 會(huì)員
2006.1-國際電氣與電子工程師學(xué)會(huì)計(jì)算機(jī)協(xié)會(huì)(IEEE COMPUTER Society) 會(huì)員
2007.1- 中國計(jì)算機(jī)學(xué)會(huì)，軟件工程專委 委員
2010.1- UML認(rèn)證專家委員會(huì)
程序委員會(huì)主席: COMPSAC 09，REFS2009-07；
程序委員會(huì)分會(huì)主席： RE10，COMPSAC2008-07，ICEBE09
研究領(lǐng)域
需求工程，信息系統(tǒng)工程，知識(shí)管理，Agent技術(shù)
研究概況
1 基于社交建模的安全需求工程技術(shù)研究 基金委，面上2009.1-2011.12
2 基于動(dòng)態(tài)最優(yōu)決策的需求工程技術(shù)研究 科技部863面上 2007.9-2009.8
3 基于意圖的形式化需求分析方法研究 基金委，青年 2006.1-2008.12
4 中國軟件需求工程現(xiàn)狀 西門子，海外2008.1-2008.9
5 環(huán)境驅(qū)動(dòng)的可信軟件需求工程技術(shù)研究 基金委，重點(diǎn) 2009.1-2012.12
6 知識(shí)制導(dǎo)的需求工程若干關(guān)鍵技術(shù)研究 科技部863面上 2007.1-2008.12
7 基于知識(shí)的網(wǎng)構(gòu)軟件需求建模理論和方法研究 科技部973 2002.9-2007.9
8 面向特定應(yīng)用的典型業(yè)務(wù)仿真與網(wǎng)構(gòu)試驗(yàn)床 科技部973 2008.9-2013.9
學(xué)術(shù)成果 紀(jì)磊（本科生），劉璘（指導(dǎo)教師）�！爸摹薄谧匀徽Z言的需求分析和建模方法。NASACu20192008. 計(jì)算機(jī)科學(xué)。
單昱琿（MSE），劉璘（指導(dǎo)教師），彭飛。一種多媒體與目標(biāo)結(jié)合的需求抽取方法， NASACu20192008.計(jì)算機(jī)科學(xué)。
熊哲（MSE），劉璘（指導(dǎo)教師），王建民，金芝，面向服務(wù)的教育領(lǐng)域需求知識(shí)框架，計(jì)算機(jī)科學(xué)，34 (9A)，229-232，NASACu20192007。
向堅(jiān)（MSE），劉璘（指導(dǎo)教師），E. Yu。一種基于社交關(guān)系模型的系統(tǒng)安全分析方法，《電子學(xué)報(bào)》，2006, 34 (B12): 2350-2354
喬偉（MSE），劉璘（指導(dǎo)教師）。基于i*框架的網(wǎng)絡(luò)服務(wù)信任需求建模，國內(nèi)會(huì)議，核心期刊。國防科技大學(xué)學(xué)報(bào),第41卷,計(jì)算機(jī)專輯，NASACu20192006。
胡楷模(本科生),劉璘(指導(dǎo)教師), 面向目標(biāo)的系統(tǒng)設(shè)計(jì)方法及實(shí)例研究, 國內(nèi)會(huì)議，核心期刊。南京大學(xué)學(xué)報(bào),第41卷,計(jì)算機(jī)專輯，NASACu20192005。
