桂林电子科技大学计算机与控制学院(邮编:541004)
研究方向
计算学科认知理论,协议工程
1-2
教学
情况
一,近五年来讲授的主要课程
(1)计算机科学导论(含原"计算机科学与技术方法论"课程),专业基础课(本科),每周4学时,5届,400余人;
(2)数据库原理,专业基础课(本科),每周4学时,3届,300余人;
(3)形式语言与自动机,专业课(本科),每周4学时,3届,300余人;
(4)形式化技术,专业课(本科),每周4学时,2届,200余人;
(5)计算机方法论,研究生课程,每周2学时,3届,80余人.
二,承担的实践性教学
(1)本科生毕业设计,五届,共16人;
(2)指导硕士研究生21人,毕业12人,在读9人.
三,主持的教学研究课题
(1)广西首批教学团队"计算机学科核心课程教学团队";
(2)广西高等教育教学改革工程重点项目"计算机学科核心课程体系的研究与实践";
(3)广西教育科学"十五"规划重点课题:建立计算学科的科学与技术方法论;
(4)广西高等教育教学改革工程重点项目:计算机科学与技术方法论的建立及其教学实践.
四,在国内外刊物上发表的教学论文
(1)计算思维与计算机导论(第一作者).计算机科学,2009,36(4)
(2)计算思维与计算机方法论(第一作者).计算机科学,2009,36(1)
(3)计算机学科导论课程的构建及其实践.大学计算机课程报告论坛论文集2006(专题报告),高等教育出版社
(4)计算机科学与技术方法论(第一作者).计算机科学,2002,29(1)
(5)后序——授之以鱼,还是授之以渔 (独著).计算机科学,2003,30(6,全国"计算机科学与技术方法论"专题学术研讨会论文专辑)
(6)计算教育哲学初探(第一作者).计算机科学,2000,27(1)
(7)计算教育的三个重大问题(第一作者).计算机科学,2002,29(7,增刊)
(8)挖掘课程的智慧(第一作者).计算机教育,2003.12
(9)软件开发中使用系统化方法的真正原因(第一作者).计算机教育,2006.4
五,获得的教学表彰/奖励
(1)2005年,主持的广西新世纪教改工程重点"计算机科学与技术方法论的建立及其教学实践"获广西壮族自治区教学成果奖一等奖(排名第一);
(2)2009年,参与的广西新世纪教改工程重点"一般工科院校计算机学科形式化方法教育的探索与实践"获广西壮族自治区教学成果奖一等奖(排名第三)
(3)2004年,著作型教材《计算机科学与技术方法论》一书获广西普通本科院校优秀教材一等奖(排名第一);
(4)获2001年度桂林电子工业学院优秀教师称号.
1-3
学术
研究
一,近五年来承担的学术研究课题
(1)2009年4月至2012年4月,主持广西自然科学基金项目"基于博弈论框架的无线自组网性能及安全研究"的工作.
(2)2005年8月至2008年12月,主持广西自然科学基金项目"模型检验和定理证明相结合的安全协议分析技术研究"的工作,项目通过验收,评为优秀;

上一页下一页