工作內容
近五年承擔的主要教學工作
本科專業基礎課
離散數學，4學時/周, 5屆, 500人
數據結構，3+2學時/周, 5屆，300人
C++語言，3+2學時/周，3屆，300人
研究生專業基礎課
數理邏輯，3學時/周，5屆，70人
沈復興模型論，3學時/周，5屆，30人
研究成果
教改項目
擔任教育部指導委員會計算機基礎教育分會會員，參與研究制定計算機基礎教育白皮書《關於進一步加強高校計算機基礎教學的意見》
參加中國高等院校計算機基礎教育改革研究課題組，參與研究編寫 《中國高等院校計算機基礎教育課程體系2004》清華大學出版社2004。7
教育部網路協作學習研究2002-2004
使用原版教材進行離散數學雙語教學課程改革項目，北京師範大學，2003-2006，主持
北京師範大學研究生精品課程建設數理邏輯與可計算性理論2005-2006 主持
發表論著
《信息技術》，中國小教材，瀋陽教育出版社，2000，主編
中國小信息技術課程的問題與思考，電化教育2002，第一作者
《信息技術》，中國小教材，共7冊，雲南人民教育出版社，2002，主編
《電子技術基礎》上下冊，電子工業出版社，2003，2004，主編
《信息技術》，國家基礎教育課程標準高中教材，雲南人民教育出版社，2005 ，主編
獲獎成果
2001年 北京師範大學 十佳教師稱號(學生評)
2003年 北京師範大學 名師稱號
2004年 寶鋼教學獎優秀教師獎
2004年 北京市教學成果一等獎第三獲獎人
2005年 教育部國家教學成果二等獎第三獲獎人
2005年 北京師範大學首屆錢瑗獎
近五年的科研成果
研究項目
多媒體作業系統(國家重點財政部專項)，教育部，2000-2003年，50萬，主持人，已完成，評價優秀
教育軟體孵化器，北京市專項，2004-2006， 80萬元， 主持人
重大國際（地區）合作項目《計算的模型、理論和套用中的新方向》
家自然科學基金，2003-2006年，三年，子課題主持
“數理邏輯”合作項目，國家自然科學基金，2003年，一年，主持
發表論文
不定方程解的δ組合基數方法及套用，數學研究與評論，2000，Vol.20(4)，第2作者
An Application of Lagrange Inversion ， Tamkang Journal of Mathematics ，Tamkang University， Taiwan， 2001，Vol 32， No.1, 第2作者
完全二叉樹模型中元素的CB秩，數學學報，2005 48卷2期，第2作者
完全二叉樹理論的模型及性質，北京師範大學學報，2004，40（2），177-180，第2作者
p階擬循環群理論的模型論性質，北京師範大學學報，2005，41（1），7-9，第2作者
p階擬循環群理論的超穩定性，北京師範大學學報，2005，41（1），7-9，第2作者
