作者信息

李暾，男，博士，教授，毕业于国防科技大学计算机科学与技术专业。长期从事计算机专业相关课程教学与研究工作，主讲了《大学计算机基础》、《计算机程序设计》、《离散数学》、《软件体系结构与设计》等课程。在微处理器设计验证、卫星综合电子系统等方面发表论文50余篇，他引200余次。在ACM顶级教学会议ITiCSE、《计算机教育》等会议和期刊发表教学论文10余篇，进入EI检索3篇。获国家教学成果奖二等奖、军队教学成果奖一等奖、湖南省教学成果奖二等奖等多项教学成果奖。,毛晓光，国防科技大学教授、博士生导师、软件工程学科带头人，教育部高等学校计算机类专业教指委副秘书长，中国计算机学会杰出会员，软件工程专委会常务委员，校教学质量名师。主要从事软件工程、可信软件领域的科学研究和人才培养工作。获国家级教学成果二等奖2项、省部级教学成果一等奖1项、省部级科技进步一等奖2项、二等奖2项。发表论文百余篇，出版教材6部。,刘万伟，国防科技大学副教授，2009年6月于国防科技大学计算机学院获博士学位。担任《大学计算》、《程序设计》、《抽象代数》、《离散数学》等多门本科生课程以及 《数理逻辑》、《计算机逻辑》等研究生课程的讲授。主要从事软件理论与形式化方法的研究，在自动机理论、模型检验、时序逻辑、软件验证等方面做出了若干有影响的工作。其论文发表在 ICSE、IJCAI、IPL、ASE、TSE 、SCI China 等国际会议和国际期刊上，其结果被国内外同行多次引用。公开出版《高级范畴论》、《大学计算机基础》等教材。,陈立前，国防科技大学计算机学院副教授，学校公共基础课程《大学计算》骨干教师，主讲《大学计算》、《计算机程序设计》、《离散数学概论》、《软件工程》等课程，出版教材2部，曾获军队院校计算机课程课堂教学竞赛一等奖、全国高校绿色计算大赛（实践教学组）特等奖、全国软件工程教学案例比赛一等奖等。,周竞文，男，博士，毕业于国防科技大学计算机科学与技术专业,从事计算机专业相关课程的教学与研究工作，承担“大学计算机基础”“数据库系统”“数据挖掘”等课程的授课任务，在《计算机教育》等期刊发表教学论文6篇，出版教材2部，在软件工程等领域发表学术论文9篇，主持省级以上课题2项，获全国高校绿色计算大赛一等奖、全国计算机类课程实验教学案例设计竞赛二等奖、军队院校计算机基础课程教学案例设计竞赛一等奖、校教学比赛一等奖等奖项。,周海芳，女，博士，教授，国家级线上金课《大学计算机基础》负责人，国防科技大学教学质量名师，军队育才银奖获得者。长期从事计算机相关专业的本科生和研究生教育工作，获国际ISW和FDW教师资质认证，主要学术研究方向为高性能图形图像处理技术、智能大数据处理。先后主持或参与多项国家级或部委级教改和科研项目，获得部委级科技进步二等奖3项、教学成果三等奖3项。发表教研、学术论文70余篇，出版教材3部、学术专著3部。