自1986年以來，長期從事形式邏輯和數(shù)理邏輯教學(xué)工作，對傳統(tǒng)的經(jīng)典邏輯和命題演算以及謂詞演算教學(xué)，積累了豐富的經(jīng)驗(yàn)。由于后二者是建立在羅素和懷特海的數(shù)學(xué)原理基礎(chǔ)上的，因此能熟練的掌握數(shù)學(xué)原理的數(shù)百個(gè)公里和定理。而這正是現(xiàn)代信息科學(xué)的理論基礎(chǔ)，也是自上世紀(jì)90年代末邏輯學(xué)轉(zhuǎn)向自然語言機(jī)器化研究的動(dòng)力和工具。

1982.9—1986.6蘭州大學(xué)哲學(xué)系學(xué)習(xí)

1986.6— 于今 蘭州大學(xué)哲學(xué)和社會(huì)學(xué)院工作

1986.9— 1987.8 參加甘肅省講師團(tuán)赴白銀市支教

碩士生課程：邏輯基礎(chǔ)（基礎(chǔ)理論課）；本科生課程：邏輯學(xué)基礎(chǔ)（專業(yè)基礎(chǔ)課）、數(shù)理邏輯（專業(yè)課）、高等數(shù)學(xué)（專業(yè)課）、計(jì)算機(jī)應(yīng)用（專業(yè)課）等。

（1）2004年甘肅省教學(xué)成果獎(jiǎng)（社會(huì)學(xué)專業(yè)實(shí)踐教學(xué)改革的創(chuàng)新設(shè)計(jì)與實(shí)踐），二等獎(jiǎng)，4/5

（2）1995年甘肅省社會(huì)科學(xué)優(yōu)秀成果獎(jiǎng)（大學(xué)邏輯教程），三等獎(jiǎng)，4/4

（1）青海省循化文化變遷，蘭州通合利達(dá)電子科技有限公司，06.12-07.12，1/1

（2）西部經(jīng)濟(jì)社會(huì)發(fā)展監(jiān)測(企業(yè)配套)，蘭州友和電子有限責(zé)任公司，05.12-06.12，1/1

（3）西部經(jīng)濟(jì)社會(huì)發(fā)展監(jiān)測，中國科學(xué)技術(shù)促進(jìn)發(fā)展研究中心（科技部），04.8-05.6，5/5

（4）青海省湟水河中游小流域治理環(huán)境評估報(bào)告，青海省水利廳水土保持局，03.12-04.12，1/1

（5）算法演變對思維方法的改變，蘭州友和電子有限責(zé)任公司，01.10-02.9，1/1

（6）網(wǎng)絡(luò)社會(huì)行為及其管理，國家社科基金，03.07-04.06，2/6

（1）大學(xué)邏輯教程，蘭州大學(xué)出版社，1993年，4/4

(2)自然語言的語義推理，《蘭州大學(xué)學(xué)報(bào)》（社），1995．1， Vol 23， 1/1

(3)多媒體技術(shù)對人類認(rèn)識行為的改變，《科學(xué).經(jīng)濟(jì).社會(huì)》，1995．1 Vol 13 ，1/1

(4)論作為社會(huì)行為的網(wǎng)絡(luò)角色扮演，《寧夏黨校學(xué)報(bào) 》，2004．6 Vol 6 ，1/2

（5）現(xiàn)代產(chǎn)業(yè)集群理論的新進(jìn)展及其評述，《蘭州大學(xué)學(xué)報(bào)》（社）， 2007.2　VOL35，2/2