个人简历

个人简介:李智，博士，教授，博士生导师，复旦大学理学学士，英国约克大学计算机科学系信息处理硕士(见当地报纸上的学位公告)，英国开放大学计算机科学博士(软件工程与设计团队)，英国基尔大学软件工程专业博士后(软件工程研究团队)，在英国留学时间长达9年。在进入学术研究领域之前曾经有10年以上从事专业技术工作，获得国家自然科学基金项目2项、省部级项目3项，发表学术论文20余篇(SCI、EI论文16篇，CCF期刊和会议论文7篇，其中3次获得国际学术会议最佳论文奖)，做会议邀请报告4次，申请并获得软件著作权8项(1项已经转让)及授权专利1项，申请发明专利2项(已受理)。获得并主持教育部产学合作协同育人项目（腾讯资助）1项、地厅级教改项目1项、校级教改项目3项、获得校级教学成果一等奖1项，培养的硕士研究生有4人继续在北京航天航空大学、天津大学、武汉大学和湖南大学攻读博士学位。
教育背景：
复旦大学理学学士(1987-1991年)；英国约克大学信息处理理学硕士(2002-2003年)；英国开放大学计算机科学博士(2003-2007年)
工作经历：
桂林市环境保护局，环境工程师、软件工程师(1991-2004年)；英国利物浦大学访问学者(2001-2002年)；英国基尔大学软件工程博士后；广西师范大学教授
会议邀请报告：
1.李智，面向问题的软件安全性及可靠性需求，邀请报告，中国需求工程研究和产业峰会，与第24届国际需求工程大会(CCF推荐软件工程领域B类会议)同地举行，主办方：ACM-CSOFT，CCF-TCSE(中国计算机学会软件工程专委会)，CCF-TCSS(中国计算机学会系统软件专委会)，协办方：IREB(国际需求工程委员会)，承办方：北京大学高可信软件技术教育部重点实验室，上海滔瑞信息技术有限公司，时间：2016年09月18日.
2.李智，俞一峻，面向问题的城市大数据需求工程，邀请报告，第十六届全国软件与应用学术会议(NASAC2017)，会议编号:CCF-17-TC20-01N，由中国计算机学会主办,系统软件专委、软件工程专委和哈尔滨工业大学承办,2017年11月3日.
3.ZhiLi,PURE:Problem-orientedUrbanRequirementsEngineeringforBigDataAnalytics,invitedtalk,the24thInternationalDMSConferenceonVisualizationandVisualLanguages(DMSVIVA2018),June29-30,2018,RedwoodCity,SanFranciscoBay,California,USA.
4.李智，教育界如何借助工业界的力量来加强软件工程人才的培养，邀请报告及专家小组讨论(PanelDiscussion)，软件工程实践教学研讨会-复杂工程能力培养，湖南省长沙市湖南大学国家超算长沙中心，2018年06月16日.
主持或参与的科研和教改项目、获得奖项:
1.主持国家自然科学基金项目“基于问题框架的信息物理融合系统建模与验证研究”(项目编号:61862009);
2.主持国家自然科学基金项目“基于问题框架的需求和领域模型的变换及验证”(项目编号:61262004);
3.主持国家教育部“留学回国人员科研启动基金”项目(下文编号：教外司留[2013]693号);
4.主持广西自然科学基金项目”基于领域知识的问题框架变换及验证的研究”(项目编号:2012GXNSFCA053010);
5.主持广西科学研究与技术开发计划项目“面向问题的软件可靠性和安全性的验证的研究”(合同编号:桂科合1347004-22);
6.主持高可信软件技术教育部重点实验室(北京大学)开放课题(项目编号:HCST201102);
7.主持教育部产学合作协同育人项目（腾讯资助）“基于微信小程序的软件工程实践能力培养(第4页倒数第2行)”(项目编号:201801002044);
8.主持广西学位与研究生教育改革和发展专项课题研究项目“高校软件工程专业硕士研究生课程双语教学的探索与研究”(地厅级，项目编号:JGY2013022);
9.主持广西学位与研究生教育改革和发展专项课题研究项目“软件测试课程慕课教学模式的研究与探讨”(校级，项目编号:XJGY201809);
10.主持《高级软件工程》研究生课程建设项目（校级）;
11.主持《软件工程》双语课程教改项目（校级）;
12.参与(排名第10)国家高技术研究发展计划(863计划)课题“多源异构数据集成与挖掘的关键技术研究”(课题编号:2012AA1005);

13.参与(博士后)英国工程与自然科学理事会(EPSRC)项目“Evidence-BasedPracticesInformingComputing”(编号:EP/E046983/1);
14.参与(排名第2)国家自然科学基金面上项目“分布式环境多样性数据共享的隐私模型及其保护技术研究”(项目编号:61272535);
15.参与国家自然科学基金项目“智能机器人自主知识与自主行动推理研究”(项目编号:61262005);
16.参与国家教育部《电子商务》双语教学示范课程建设项目；

17.获得广西师范大学第七届教学成果一等奖(排名第3)，获奖成果名称是”民族地区高校信息管理与信息系统专业双语系列课程教学改革研究与实践”(第4页，序号12，校园网链接);
专利和软件著作权：
1.
1.李智，刘国源，面向问题的计算机辅助软件需求工程工具软件(2014SR098001),已经转让给企业；
2.
1.李智，欧阳兆丰，一种基于领域因果关系知识的软件需求捕获系统(2015SR209845)；
3.
1.李智，何正海，面向问题领域安全性建模及其可视化验证及变换系统(2015SR209865)；
4.
1.张平，李智，一种基于问题框架的软件需求模式匹配系统(2016SR314622)；
5.
1.张晓，李智，李伟东，July问题框架协同建模软件(2016SR372824)；
6.
1.赵子岩，李智，iOS软件开发问题上下文中问题框架因果关系捕获及分析系统(2017SR495804；
7.
1.禹月琨，李智，林亚娜，面向问题的需求变更管理系统(2018SR116019)；
8.
1.王超，李智，张平，基于问题框架的需求关联的定量评估系统(2018SR099684)；

研究领域

面向问题的城市大数据需求工程、基于问题框架的信息物理融合系统建模、验证与测试、数据驱动的软件工程和人机交互等。

近期论文

1.ZhiLi,JonG.HallandLuciaRapanotti.Onthesystematictransformationofrequirementstospecifications.RequirementsEngineering,volume19issue4pages397-419,SpringerLondon,firstpublishedonline(June16,2013),inprint(November2014),doi:10.1007/s00766-013-0173-8.
李智,约翰.霍尔,卢西亚.拉帕诺蒂.如何系统地将需求变换为软件规约的研究.需求工程(期刊),第19卷第4期,第397-419页,2013年6月16日在线发表,2014年11月出版印刷(SCI+EI收录,中国计算机学会CCF认定为软件工程领域B类期刊).
2.ZhiLiandZhiJin.FromUserRequirementstoSoftwareSpecifications:AnApproachBasedonProblemTransformation.JournalofSoftware(inChinese),volume24issue5,pages961-976,May2013,doi:10.3724/SP.J.1001.2013.04371.
李智,金芝.从用户需求到软件规约:一种问题变换的方法.软件学报,第24卷第5期,第961-976页,2013年5月(EI收录，国内软件领域权威期刊).
3.BinYin,ZhiJinandZhiLi,ReliabilityConcernsintheProblemFramesApproachandSystemReliabilityEnhancementPatterns,ChineseJournalofComputers(inChinese),volume36number1,pages74-87,January2013,doi:10.3724/SP.J.1016.2013.00074.
尹斌,金芝,李智.问题框架方法的可靠性关注点及系统可靠性增强模式.计算机学报,第36卷第1期第74-87页,2013年1月(EI收录，国内计算机领域权威期刊).
4.LuciaRapanotti,JonG.HallandZhiLi.Derivingspecificationsfromrequirementsthroughproblemreduction,JournalofIEEProceedings-Software,volume153,issue5,pages183-198,IETPress,October2006,doi:10.1049/ip-sen:20060011.
卢西亚.拉帕诺蒂,约翰.霍尔,李智.通过问题消减的方法从需求导出规约.IEE软件汇刊,第153卷第5期,第183-198页,IET出版社,2006年10月(SCI+EI收录,现在改名为IETSoftware,中国计算机学会CCF认定为软件工程领域B类期刊).
5.NingGao,ZhiLi,GeneratingTestingCodesforBehavior-DrivenDevelopmentfromProblemDiagrams:ATool-BasedApproach,2016IEEE24thInternationalRequirementsEngineeringConference(RE2016),pages399-400,Beijing,China,September2016,doi:10.1109/RE.2016.54.
高宁，李智(通讯作者)，从问题图生成行为驱动开发所需要的测试代码及工具支持，2016年第24届IEEE国际需求工程会议，第399-400页，中国北京，2016年9月(EI收录,中国计算机学会CCF推荐软件工程领域B类会议).
6.ZhuoqunYang,ZhiLi,ZhiJinandYunchuanChen.ASystematicLiteratureReviewofRequirementsModelingandAnalysisforSelf-AdaptiveSystems.C.SalinesiandI.vandeWeerd(Eds.):20thInternationalWorkingConferenceonRequirementsEngineering:FoundationforSoftwareQuality(REFSQ2014),LNCS,volume8396,pp.55-71,Springer,Essen,Germany,April2014,doi:10.1007/978-3-319-05843-6_5.ThispaperhasbeenselectedastheonlyBestPaperAwardWinnerinREFSQ2014!Seeherefordetails.
杨卓群,李智(通讯作者),金芝等.自适应系统需求建模与分析系统化文献调研.第20届国际需求工程:软件质量基础工作会议(REFSQ2014),LNCS,第8396卷,第55-71页,Springer,德国埃森,2014年4月.该论文被评为REFSQ2014会议唯一最佳论文奖，详见这里！(EI收录,中国计算机学会CCF推荐软件工程领域C类会议).

7.GuoyuanLiu，ZhiLi,ShilangHuang,ZhaofengOuyangandZheLiu.CARE:AComputer-AidedRequirementsEngineeringToolforProblem-OrientedSoftwareDevelopment,InternationalJournalofSoftwareEngineeringandKnowledgeEngineering,volume25,issues09n10,pages1747-1752,December2015，doi:10.1142/S0218194015710114.
刘国源，李智，黄世朗，欧阳兆丰，刘喆.面向问题的软件开发计算机辅助需求工具，国际软件工程及知识工程期刊，第25卷第9和10期，第1747-1752页，2015年12月(SCI+EI收录,中国计算机学会CCF推荐软件工程领域C类期刊).


8.GuoyuanLiu,ZhiLiandZhaofengOuyang.CARE:AComputer-AidedRequirementsEngineeringToolforProblem-OrientedSoftwareDevelopment,Inproceedingsofthe27thInternationalConferenceonSoftwareEngineeringandKnowledgeEngineering(SEKE2015),pages727-729,Pittsburgh,USA,July2015.ThispaperhasbeenselectedastheonlyBestDemoPaperAwardWinnerinSEKE2015!

刘国源，李智(通讯作者),欧阳兆丰.面向问题的软件开发计算机辅助需求工具.第27届国际软件工程及知识工程会议(SEKE2015)会议论文集,第727-729页，美国匹兹堡，2015年7月，SEKE2015会议唯一最佳演示论文奖！(EI收录,中国计算机学会CCF推荐软件工程领域C类会议).

9.BarbaraKitchenham,PearlBrereton,ZhiLi,DavidBudgenandAndrewBurn,RepeatabilityofSystematicLiteratureReviews,15thInternationalConferenceonEvaluationandAssessmentinSoftwareEngineering(EASE’11),pages46-55,Durham,UK,April2011,doi:10.1049/ic.2011.0006.
芭芭拉.齐卿恩(音译),培尔.贝瑞顿(音译),李智等.系统化文献调研的可重复性.第15届国际软件工程评估与评价会议,会议论文集第46-55页,英国杜伦大学,2011年4月(EI收录，中国计算机学会CCF推荐软件工程领域C类会议).


10.BarbaraKitchenham,AndrewBurnandZhiLi.AQualityChecklistforTechnology-CentredTestingStudies,13thInternationalConferenceonEvaluationandAssessmentinSoftwareEngineering(EASE’09),Durham,UK,April2009.

芭芭拉.齐卿恩(音译),安德鲁.贝恩(音译),李智.软件测试技术研究质量的清单检查表.第13届国际软件工程评估与评价会议,英国杜兰,2009年4月(EI收录，中国计算机学会CCF推荐软件工程领域C类会议).
中国计算机学会(CCF)杰出会员，担任该学会软件工程专业委员会委员、形式化方法专业委员会委员。
学术期刊审稿人：
1.IEEETransactionsonSoftwareEngineering(CCF认定为软件工程A类国际期刊)
2.软件学报
3.InternationalJournalonSoftwareEngineeringandKnowledgeEngineering
学术会议主席：
1.第十三届全国软件与应用会议(NASAC2014)程序委员会副主席

2.第十届国际高级数据挖掘与应用会议(ADMA2014)当地组织主席
3.第五届计算机辅助系统工程亚太会议(APCASE2017)出版主席
4.第二十四届全国信息检索学术会议(CCIR2018)产业论坛主席
5.第十三届国际软件工程理论研讨会(TASE2019)大会主席
学术会议程序委员会成员：
1.第十二、十三、十四、十五届全国软件与学术会议(NASAC2013-2016)
2.25th，26th，27th，28th，29th，30thInternationalConferenceonSoftwareEngineeringandKnowledgeEngineering(SEKE2013-2018,中国计算机学会推荐软件工程C类会议).
3.InternationalWorkshoponEvolvingCriticalSoftwareSystems(IWECS2011),December6-7,2011,Shanghai,China.
4.13thInternationalSymposiumonTheoreticalAspectsofSoftwareEngineering(TASE2019,中国计算机学会推荐软件工程C类会议)