李彤毕业于英国De Montfort大学计算机科学与工程学院软件工程专业，获哲学博士学位。现任云南大学软件学院院长，二级教授，博士生导师，云南省中青年学术和技术带头人，云南省教学名师，云南省教学团队带头人，国家Linux技术培训与推广中心主任，云南省软件工程重点实验室主任，云南省云计算工程研究中心理事长，云南省科学技术奖励电子信息专业评审委员会主任委员，云南省计算机科学与技术专业教学指导委员会主任委员，云南省计算机学会理事长，云南省移动互联网应用技术协会会长，全国示范性软件学院联盟副理事长，云南省高新技术创新人才培养基地首席教授。共出版学术专著3部、教材7部，发表论文200余篇。其中独撰的纯英文学术专著《An Approach toModelling Software Evolution Processes》在世界一流出版社Springer出版。共主持国家级项目9项、省部级项目15项、其它项目20余项。第一完成人共获国家级二等奖1项，省部级一等奖2项、二等奖1项、三等奖4项。主要研究领域为软件工程、形式化方法和信息安全。

1979年9月考入云南大学数学系计算数学专业（计算机软件方向）；1983年7月本科毕业，获理学学士学位。 1985年9月考入云南大学计算机科学系计算数学专业（计算机软件方向）；1988年7月硕士研究生毕业，获理学硕士学位。2003年7月考入英国De Montfort大学计算机科学与工程学院软件工程专业；2007年6月博士研究生毕业，获哲学博士学位。

1983年7月进入云南省计划委员会电子计算站工作；1984年5月任云南省计划委员会电子计算站应用科数据处理组组长；1984年7月见习期结束转正，晋升助理工程师。 1988年7月进入云南省经济信息中心工作；1990年7月晋升工程师；1990年8月任云南省经济信息中心数据库与程序库部副主任；1991年5月兼任云南省计划委员会OA工程领导小组办公室副主任；1992年10月任云南省经济信息中心计算机工程部主任、云南省信息产业公司计算机工程部经理。 1994年8月进入云南大学计算机科学系工作；1995年8月由工程师转为讲师；1996年10月晋升副教授，同时任云南大学计算机科学系副主任。 1998年4月云南大学信息学院成立，任云南大学信息学院计算机科学系副主任（主持工作）；1998年8月晋升教授；1999年10月任云南大学信息学院副院长；2001年10月兼任云南大学信息学院计算机科学与工程系主任。 2002年4月云南大学软件学院（37所国家示范性软件学院之一）成立，任云南大学软件学院副院长（主持工作）。2007年7月任云南大学软件学院院长。2010年4月受聘二级教授。

[1] 云南省人民政府授予“云南省中青年学术和技术带头人”称号。 [2] 云南省高等学校教学名师。 [3] 云南省高等学校高层次人才教学名师特殊支持计划入选者。 [4] 全国示范性软件学院“十佳专职教师”（得票数全国软件学院第一）。 [5] 云南省教学团队带头人。 [6] “软件工程人才培养CDIO改革实践与创新”获国家级教学成果奖二等奖，排名第一。 [7] “软件工程人才培养CDIO改革实践与创新”获云南省教学成果奖一等奖，排名第一。 [8] “当代信息技术发展对云南省的影响及基本对策研究”获云南省发展研究奖三等奖，排名第一。 [9] “软件过程建模与验证研究”获云南省自然科学奖二等奖，排名第一。 [10] 获国家示范性软件学院“十佳专职教师”称号（得票数全国第一）。 [11] “通用安全支撑平台及其关键技术研究”获云南省科学技术奖（科技进步类）三等奖，排名第一。 [12] “Linux应用软件开发技术研究”获云南省科学技术奖（科技进步类）三等奖，排名第一。 [13] “基于第四代语言的软件开发环境研究与应用”获云南省科技进步奖三等奖，排名第一。 [14] “通用计算机自动命题系统及其推动的课程教学改革”获云南省教学成果奖一等奖，排名第一。 [15] 《操作系统分析与设计》获云南省优秀教材奖，排名第一。

[1] 云南省科学技术奖电子信息专业评审委员会主任委员。 [2] 云南省计算机科学与技术专业教学指导委员会主任委员。 [3] 云南省计算机学会理事长。 [4] 云南省移动互联网应用技术协会会长。 [5] 云南省软件工程重点实验室主任 [6] 云南省软件工程重点实验室学术委员会主任。 [7] 云南省云计算工程研究中心理事长。 [8] 全国示范性软件学院联盟副理事长。 [9] 云南省云计算工程研究中心工程技术委员会主任。 [10] 教育部（2013-2017）软件工程专业教学指导委员会委员。 [11] 教育部（2006-2010）软件工程专业教学指导委员会委员。 [12] 教育部（2001-2005）计算机科学与技术专业教学指导委员会委员。 [13] 云南省“信息技术与工程”高新技术创新人才培养基地首席教授。 [14] 中国计算机学会第九届理事会理事。 [15] 云南省科学技术协会第七届常务委员会委员。 [16] 国家Linux技术培训与推广中心主任。 [17] 教育部CDIO软件人才培养模式创新实验区负责人。 [18] ETHICOMP International Working Conference 2007主席。 [19] 12th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2008)主席。 [20] 2010 Asia-Pacific Youth Conference on Communication（APYCC 2010，亚太青年通信国际学术会议）主席。 [21] The Third International Symposium/Workshop on Dataology and Data Science主席。 [22] 第一届全国智能信息处理学术会议（2007）主席。 [23] 国家示范性软件学院成立十周年总结表彰大会组织委员会主任。 [24] 2009泛珠三角（9+3）安利杯大学生计算机作品赛组织委员会主任委员。 [25] 云南省计算机学会成立三十周年庆典组织委员会主席。 [26] 2012逻辑•智能•计算学术会议组织委员会共同主席。 [27] 中国计算机学会软件工程专业委员会委员。 [28] 中国计算机学会高级会员。 [29] ACM专业会员。

[1] 主持国家教学质量工程项目“国家基于CDIO的国际化、工程化软件人才培养创新实验区”（教高函[2009]4号），2008年10月-2012年9月，排名第一，项目经费50万元。

[2] 主持国家教学质量工程项目“国家精品资源共享课——软件工程”（教高司函[2013]115号），2013年10月-2016年9月，排名第一, 项目经费10万元。

[3] 主持国家教学质量工程项目“国家精品课程——软件工程”（教高函[2010]14号），2010年6月-2014年5月，排名第一，项目经费10万元。

[4] 主持国家教学质量工程项目“中国大学资源共享课——软件工程”（教高司函[2013]26号），2013年5月-2016年6月，排名第一, 项目经费10万元。

[5] 主持云南省教学质量工程项目“云南省CDIO软件人才培养教学团队”（云教函[2009]301号），2009年6月-2012年6月，排名第一，项目经费20万元。

[6] 主持云南省教学质量工程项目“云南省李彤名师工作室”（云教高[2010]105号），2010年6月-2013年6月，排名第一，项目经费3.6万元。

[7] 主持云南省教学质量工程项目“云南省精品资源共享课程——软件工程”（云教高 [2012]136号），2012年5月-2016年6月，排名第一, 项目经费2万元。

[8] 主持云南省高等学校高层次人才教学名师特殊支持计划项目（云教高[2014]8号），2014年1月-2018年12月，排名第一，项目经费10万元。

[9] 主持国家教学质量工程项目“教育部-Intel精品课程——软件工程”（教高司函[2009]115号），2009年9月-2010年8月，排名第一, 项目经费7万元。

[10] 主持云南省教学质量工程项目“云南省精品课程——软件工程”（云教高[2007]48号），2007年5月-2011年6月，排名第一, 项目经费6万元。

[11] 博士研究生课程：《软件方法学》。

[12] 硕士研究生课程：《并行处理理论与技术》、《操作系统分析与设计》、《计算机文献阅读》、《高级软件工程》（云南大学研究生精品课程）、《需求工程》。

[13] 本科生课程：《操作系统》（云南省精品课程、云南大学精品课程）、《操作系统分析》、《软件工程》（国家精品课程、国家级精品资源共享课程、中国大学资源共享课程、教育部-Intel精品课程、云南省精品课程、云南大学精品课程）、《人工智能》、《数字逻辑》、《操作系统原理与UNIX》、《计算机科学技术史》（云南大学品牌课程）、《软件过程》。

软件工程 形式化方法 信息安全