基本簡介
在科研工作上，主持並完成了省教育廳教學研究課題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年獲江西師大優秀畢業論文指導教師
