李彤

姓    名: 李彤 性别: 男             
最终学历: 博士研究生 职称: 教授/博导

李彤

学    位: 博士 职务: 院长
所在院系: 云南大学软件学院软件工程系
E-mail: tli@ynu.edu.cn
通信地址: 云南大学软件学院（650091）
研究方向: 软件工程
　 
　 项目申请人基本情况：

李 彤， 1998 年破格晋升为教授，英国 笛蒙福特 大学计算机科学与工程学院软件工程专业获博士学位， 云南省省级教学名师，博士生导师，云南省 “ 信息技术与工程 ” 高新技术创新人才培养基地首 席 教授，云南省人民政府授予 “ 云南省中青年学术和技术带头人 ” 称号，云南省计算机学会理事长，教育部（ 2006-2010 ）软件工程专业教学指导分委员会委员，教育部（ 2001-2005 ）计算机科学与技术专业教学指导分委员会委员，云南省科协常委，中国计算机学会理事，教育部国家精品课程评审专家，科技部国家重点新产品网上评估（评审）专家，教育部国家级实验教学示范中心网上评审专家，教育部软件人才实训基地专家评审组副组长，教育部全国大学生软件创新大赛组织委员会委员，国家自然科学基金项目评审专家，中国科学技术期刊评审专家，清华大学出版社外版教材编审委员会委员，云南省科学技术奖电子信息专业评审委员会副主任委员，云南省重点学科 “ 信息科学与技术 ” 软件工程方向学术带头人，云南大学学术委员会委员，云南大学学位委员会委员，第一届全国智能信息处理学术会议（ 2007 ）主席， ETHICOMP International Working Conference 2007 （ 2007 年计算机伦理学国际学术研讨会）主席。
李彤教授多年来共出版学术专著 2 部、教材 5 部，发表论文 100 余篇，主 持国家级和省部级项目 10 项、其它项目 22 项。

教学情况:
一、 主讲课程
1) 软件工程，专业基础课，周学时4，5届，540名学生；
2) 操作系统原理与UNIX，专业基础课，周学时4，4届，480名学生；
3) 人工智能，专业课，周学时3，2届，160名学生；
4) 计算机科学技术史，专业课，周学时2，3届，520名学生。
二、 实践性环节
1) 软件开发过程实践，必修，26名学生；
2) IT市场及产业化实践，必修，16名学生；
3) 毕业设计，必修，38名学生；
4) 专业实践，必修，28名学生。
三、 主持的教学研究课题
1) 主持云南省省级精品课程“软件工程”，2007年5月-2012年4月。
2) 主持云南大学教学改革项目“国家示范性软件学院本科人才培养模式改革研究”，2005年10月-2008年9月。
3) 主持云南大学研究生精品课程“高级软件工程”，2005年5月-2008年4月。
4) 主持云南省“信息技术与工程”高新技术创新人才培养基地（软件工程方向），云南省教育厅，2001年7月-2006年7月。
5) 主持云南大学精品课程“软件工程”，2005年5月-2008年4月。
四、 第一署名人教学论文
1) 软件工程人才培养的实践与思考.计算机教育, 2004.10
2) 活跃在英伦三岛的中国留英计算机学者. 计算机教育, 2004.10
3) 从示范性软件学院评估看计算机专业教育评估. 计算机教育, 2004.8
4) 基于自动命题系统实现《操作系统》教考分离.高等理科教育, 2000.1
五、 排名第一的教学奖励
1) 2001年10月“通用计算机自动命题系统及其推动的课程教学改革”获云南省省级教学成果一等奖，排名第一。
2) 2008年5月获云南省省级教学名师称号。
3) 2002年5月教材《操作系统分析与设计》（云南大学出版社出版）获云南省优秀教材奖，排名第一。
4) 2000年4月“《操作系统》课程现代化教学改革”获云南大学教学成果一等奖。
5) 2008年5月“示范性软件学院本科人才培养模式改革的探索与实践”获云南大学教学成果二等奖。
六、 第一署名人教材和教学参考书
1) 《An Approach to Modelling Software Evolution Processes》(独撰)，Springer-Verlag and Tsinghua University Press, 2008.6。
2) 《软件并行开发过程》，科学出版社，2003.8。
3) 《操作系统分析与设计》，云南大学出版社，2002年5月获云南省优秀教材奖。

学术研究：
一、 排名第一的研究课题
1) 软件演化过程研究（60463002），国家自然科学基金项目，2005年1月-2007年12月，项目负责人，项目经费23万元。
2) 软件体系结构的自适应演化（2007F008M），云南省自然科学基金项目，2007年7月-2010年6月，项目负责人，项目经费7.5万元。
3) 通用安全支撑平台及其关键技术研究（2004IT06），云南省信息技术专项计划项目，2004年7月-2007年6月，项目负责人，项目经费116万元。
4) 基于安全操作系统平台的PKI网络信息安全软件系统(2001IT10)，云南省信息技术专项计划项目，2001年7月-2004年6月，项目负责人，项目经费160万元。
5) Linux应用软件开发技术研究及其产业化(2001AABLA02A002)，云南省省院省校科技合作项目，项目负责人，2001年9月-2005年3月，项目经费620万元。
6)基于构件的快速软件并行开发技术(2001F0006M)，云南省自然科学基金项目，项目负责人，2001年7月-2004年6月，项目经费5.5万元。
二、学术论文
1) Software Evolution Process Framework. In: Proceedings of 2007 International Symposium on Computer Science and Technology. The America Scholars Press. May 2007, Ningbo, China, pp. 630-634 (ISTP收录, ISI Documentary Delivery No.: BGL58), 排名第一。
2) An Approach to Decomposing Assertions into Java Codes. In: Proceedings of the 2005 International Conference on Information and Knowledge Engineering. June, 2005, Las Vegas, USA, pp. 185-191 (ISTP收录, ISI Documentary Delivery No.: BEA10), 排名第一
3) An Approach to Transforming Parallel Function Specification into Java Program Framework. In: Proceedings of 2005 International Conference on Software Engineering Research and Practice. June, 2005, Las Vegas, USA, pp. 517-523 (ISTP收录, ISI Documentary Delivery No.: BDY23), 排名第一。
4) Mining for Concurrence in Software Process for Evolution. In: Proceedings of the Tenth Joint International Computer Conference. International Academic Press, Nov. 2004, pp. 478-483, 排名第一。
5) Component Behavior Relativity Analysis. ACM SIGSOFT Software Engineering Notes, 2008, Vol. 33, No. 2. pp. 1-7. (SCI索引源)，2008年2月，排名第二。
三、 排名第一的学术研究表彰/奖励
1) “通用安全支撑平台及其关键技术研究”获云南省科学技术奖（科技进步类）三等奖，云南省人民政府，排名第一，2008年2月。
2) “Linux应用软件开发技术研究”获云南省科学技术奖（科技进步类）三等奖，云南省人民政府，排名第一，2006年3月。
3) 云南省人民政府授予“云南省中青年学术和技术带头人”称号，排名唯一，2004年4月。
4) “基于第四代语言的软件开发环境研究与应用”获云南省科技进步三等奖，云南省人民政府，排名第一，2000年3月。