江西师范大学教授

论文

著作情况

课题

获奖情况

江西师范大学教授

女，教授， 现为计算中心副主任。参加工作以来能热爱教师本职工作，关心、爱护学生，做到了教书育人，为人师表。在教学工作方面，连续多年在校教学质量评估活动中获得优秀，曾两次被评为校“三育人”先进工作者，2001年、2003年获校“百优教师”称号；曾荣获江西省优秀教学成果一等奖1项、二等奖2项、三等奖1项，校优秀教学成果奖多项。

在科研工作上，主持并完成了省教育厅教学研究课题2项、省教育厅科技项目1项，校级课题多项，目前在研省教育厅科技项目1项；作为骨干成员（排名第二或第三）参加了国家自然科学基金等国家级课题8项；在国内核心期刊、省级期刊公开发表论文20余篇，出版教材2部。

在完成教学与科研任务的同时，先后担任了计算机信息工程学院院长助理、计算中心副主任职务，并分管学院研究生工作。多年来能努力提高自己的服务意识和责任感，尽心尽职地为大家做实事，为学院研究生的日常管理、重点学科和示范性硕士点的申报和建设、各类硕士点的评估，特别是为我校成为师范院校中首批工程硕士授予单位的突破等工作作出了贡献，2005年曾荣获“学科建设先进个人”和“本科迎评促建先进个人”等光荣称号。

论文

1、提高ADA可重用程序部件可靠性的两种方法，计算机工程（核心期刊），2001年第6期, EI检索

2、一种基于程序正确性证明理论的程序开发方法，计算机应用研究（核心期刊），2001年第2期

3、程序设计课程教学研究和实践，计算机基础教育研究，2001.8

4、《数据库及其应用》学习指导，继续教育理论与实践，2001.12

5、递归问题非递归实现方法研究与应用，计算机时代，2005年8期

6、充分发挥循环不变式在程序设计课程教学中的作用，计算机时代，2005年第11期

7、基于PAR方法的智能教学软件平台在树、图算法教学中的应用，计算机与现代化，2003年12月

8、agent技术在程序设计智能教学系统中的应用，计算机与现代化，2005年9月

9、基于JATLite代理平台的程序设计ICAI的实现，计算机工程，2006年第32卷第13期，EI收录

10、B方法规格说明的构造及应用，《计算机与现代化》2007.5

11、程序变换技术在程序设计中的应用，《江西科技》2006.6

著作情况

1、《程序设计方法》，高等教育出版社，2001年12月，

2、《数据结构（C语言描述）》，人民邮电出版社，2004年6月

课题

1、算法和程序设计方法教学的改革与实践，江西省教育厅教学研究项

目，主持，2003年6月结题

2、程序设计课程智能教学软件实现方法的研究，江西省教育厅教学研究项目，主持，2005年12月结题

3、基于计算框架的JAVA可复用构件的设计与开发，江西省教育厅科技项目，合作主持，2003年12月结题

4、基于积件思想的教学软件关键技术的应用研究，江西省教学厅科技项目，主持，2008.1—2009.12

5、基于积件思想的教学软件研究与实践，江西师范大学教学改革课题，主持，2007.7—2009.7

6、实用的软件形式化方法及其开发工具的研究，国家自然科学基金项目，2000.2完成，第三成员

7、分划递推法应用于高可靠JAVA程序开发方法研究(69983003)

国家自然科学基金项目，排名第三，2003年结题

8、基于PAR方法的算法设计形式化与自动化研究(60273092)

国家自然科学基金项目，排名第二， 2005年底结题

9、基于PAR方法和PAR平台的泛型程序设计关键技术研究（60573080）

国家自然科学基金项目，排名第二，2006.01-2008.12

10、形式化方法制导的软件自动化研究(2003CCA02800)，国家重大基研究（973计划）前期研究专项，排名第三，2004.01-2006.12

获奖情况

1、2003年获江西省优秀教学成果三等奖；

2、2003年作为骨干成员（排名第二）申报成功《数据结构》江西省优质课程（相当于省级教学成果二等奖）；

3、2006年《基于网络协作模式的数据结构课教学实践研究》获江西省高等学校第十批优秀教学成果二等奖

4、2007年《数据结构》教材获江西省高等学校优秀教材评选二等奖

5、2006年获江西省第三届优秀多媒体课件大赛一等奖（排名第三）

6、2004年被江西省教育厅授予江西省高等教育自学考试先进工作者

7、2001年获江西省计算机学会优秀学术论文二等奖

8、2002年获校教学成果一等奖；

9、获2001-2002年 “三育人”先进工作者；

10、2001年在校“十佳百优”评选活动中获教学质量优秀奖

11、2003年在校“十佳百优”评选活动中获教学质量优秀奖

12、获2004-2005年校学科建设先进个人

13、获2005年本科迎评促建先进个人

14、2005年获江西师大优秀毕业论文指导教师