主要學(xué)術(shù)成果有：發(fā)表《單季晚糯的需肥特征》等論文多篇。合作育成中晚粳糯“大湖糯”，獲中國(guó)農(nóng)業(yè)科學(xué)院科技進(jìn)步—等獎(jiǎng)。

蘭州大學(xué)哲學(xué)社會(huì)學(xué)院副教授，長(zhǎng)期從事邏輯學(xué)、社會(huì)統(tǒng)計(jì)spss等課程教學(xué)。

自1986年以來(lái),長(zhǎng)期從事形式邏輯和數(shù)理邏輯教學(xué)工作,對(duì)傳統(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)向自然語(yǔ)言機(jī)器化研究的動(dòng)力和工具。

邏輯學(xué)已經(jīng)跳出了糾纏于類型論等問(wèn)題的哲學(xué)討論,大多數(shù)老一輩的學(xué)者感興趣的悖論研究,因?yàn)椴荒芙鉀Q實(shí)際問(wèn)題,而只是停留在范疇的思辨式討論,也已經(jīng)不是邏輯研究的重點(diǎn).它今天關(guān)注的是更為實(shí)際的問(wèn)題—即如何把我們某個(gè)具體領(lǐng)域的表達(dá)式符號(hào)化變成機(jī)器語(yǔ)言,來(lái)交給計(jì)算機(jī)控制或研究?因?yàn)槌橄蟮姆��?hào)化不但消除了自然語(yǔ)言的歧義,還能通過(guò)公式的進(jìn)一步推演,極大的擴(kuò)展人類的思維,使許多看似不可能的匪夷所思的可又是正確的思維結(jié)構(gòu)出現(xiàn),這將極大的豐富人類的想象力,而不是把創(chuàng)造性寄托在不可把握的悟性上.機(jī)器能做很多很多,遠(yuǎn)超我們的想像。

而這里的一個(gè)難點(diǎn),就是目前正在努力的方向:在無(wú)窮域如何表達(dá)全稱量詞,用哲學(xué)的語(yǔ)言表達(dá)就是休模問(wèn)題如何用機(jī)器能理解的公式來(lái)表達(dá)并不會(huì)陷入死循環(huán)?

1、主要學(xué)習(xí)、工作簡(jiǎn)歷

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

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

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

2、主講課程

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

3、獲獎(jiǎng)情況

（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

4、科研項(xiàng)目

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

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

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

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

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

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

5、代表著作或論文：

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

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

(3)多媒體技術(shù)對(duì)人類認(rèn)識(shí)行為的改變，《科學(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)展及其評(píng)述，《蘭州大學(xué)學(xué)報(bào)》（社）， 2007.2　VOL35，2/2

（6）何者可友_友者何人，《甘肅高師學(xué)報(bào)》，2009年第6期，2/2