人物經(jīng)歷
1968年畢業(yè)于北京師范大學(xué)數(shù)學(xué)系，
1981年在北師大數(shù)學(xué)系獲碩士學(xué)位，
1985年獲博士學(xué)位，
1986年被評為副教授，
1992年評為教授，
1995年評為博士生導(dǎo)師，
1986-1987年赴聯(lián)邦德國海德堡大學(xué)數(shù)學(xué)系訪問研究，
1996-1997年赴美國密歇根大學(xué)計算機(jī)系訪問研究。
社會任職
曾任北師大數(shù)學(xué)系副主任、北師大教務(wù)長，
現(xiàn)任北師大信息學(xué)院常務(wù)副院長，
全國高等師范院校計算機(jī)教育研究會副理事長
工作內(nèi)容
近五年承擔(dān)的主要教學(xué)工作
本科專業(yè)基礎(chǔ)課
離散數(shù)學(xué)，4學(xué)時/周, 5屆, 500人
數(shù)據(jù)結(jié)構(gòu)，3+2學(xué)時/周, 5屆，300人
C++語言，3+2學(xué)時/周，3屆，300人
研究生專業(yè)基礎(chǔ)課
數(shù)理邏輯，3學(xué)時/周，5屆，70人
模型論，3學(xué)時/周，5屆，30人
研究成果
教改項目
擔(dān)任教育部指導(dǎo)委員會計算機(jī)基礎(chǔ)教育分會會員，參與研究制定計算機(jī)基礎(chǔ)教育白皮書《關(guān)于進(jìn)一步加強(qiáng)高校計算機(jī)基礎(chǔ)教學(xué)的意見》
參加中國高等院校計算機(jī)基礎(chǔ)教育改革研究課題組，參與研究編寫 《中國高等院校計算機(jī)基礎(chǔ)教育課程體系2004》清華大學(xué)出版社2004。7
教育部網(wǎng)絡(luò)協(xié)作學(xué)習(xí)研究2002-2004
使用原版教材進(jìn)行離散數(shù)學(xué)雙語教學(xué)課程改革項目，北京師范大學(xué)，2003-2006，主持
北京師范大學(xué)研究生精品課程建設(shè)數(shù)理邏輯與可計算性理論2005-2006 主持
發(fā)表論著
《信息技術(shù)》，中小學(xué)教材，沈陽教育出版社，2000，主編
中小學(xué)信息技術(shù)課程的問題與思考，電化教育2002，第一作者
《信息技術(shù)》，中小學(xué)教材，共7冊，云南人民教育出版社，2002，主編
《電子技術(shù)基礎(chǔ)》上下冊，電子工業(yè)出版社，2003，2004，主編
《信息技術(shù)》，國家基礎(chǔ)教育課程標(biāo)準(zhǔn)高中教材，云南人民教育出版社，2005 ，主編
獲獎成果
2001年 北京師范大學(xué) 十佳教師稱號（學(xué)生評）
2003年 北京師范大學(xué) 名師稱號
2004年寶鋼教學(xué)獎優(yōu)秀教師獎
2004年 北京市教學(xué)成果一等獎第三獲獎人
2005年 教育部國家教學(xué)成果二等獎第三獲獎人
2005年 北京師范大學(xué)首屆錢瑗獎
研究項目
多媒體作業(yè)系統(tǒng)（國家重點(diǎn)財政部專項），教育部，2000-2003年，50萬，主持人，已完成，評價優(yōu)秀
教育軟件孵化器，北京市專項，2004-2006， 80萬元， 主持人
重大國際（地區(qū)）合作項目《計算的模型、理論和應(yīng)用中的新方向》
家自然科學(xué)基金，2003-2006年，三年，子課題主持
“數(shù)理邏輯”合作項目，國家自然科學(xué)基金，2003年，一年，主持
發(fā)表論文
不定方程解的δ組合基數(shù)方法及應(yīng)用，數(shù)學(xué)研究與評論，2000，Vol.20（4），第2作者
An Application of Lagrange Inversion ， Tamkang Journal of Mathematics ，Tamkang University， Taiwan， 2001，Vol 32， No.1, 第2作者
完全二叉樹模型中元素的CB秩，數(shù)學(xué)學(xué)報，2005 48卷2期，第2作者
完全二叉樹理論的模型及性質(zhì)，北京師范大學(xué)學(xué)報，2004，40（2），177-180，第2作者
p階擬循環(huán)群理論的模型論性質(zhì)，北京師范大學(xué)學(xué)報，2005，41（1），7-9，第2作者
p階擬循環(huán)群理論的超穩(wěn)定性，北京師范大學(xué)學(xué)報，2005，41（1），7-9，第2作者
