西南交通大學(xué)教師專業(yè)技術(shù)職務(wù)評(píng)審個(gè)人信息簡表

1、西南交通大學(xué)教師專業(yè)技術(shù)職務(wù)評(píng)審個(gè)人信息簡表西南交通大學(xué)教師專業(yè)技術(shù)職務(wù)評(píng)審個(gè)人信息簡表申報(bào)系列：申報(bào)系列：?教學(xué)科研教學(xué)科研申報(bào)評(píng)審程序類別：申報(bào)評(píng)審程序類別：□實(shí)體性條件評(píng)審程序□科學(xué)研究?程序性評(píng)審程序程序性評(píng)審程序（?校內(nèi)人員校內(nèi)人員□公開招聘人員）姓名何星星出生年月1982.10申報(bào)學(xué)科數(shù)學(xué)所在單位數(shù)學(xué)學(xué)院最高學(xué)位及畢業(yè)學(xué)校、專業(yè)博士學(xué)位、西南交通大學(xué)、交通信息工程及控制現(xiàn)專業(yè)技術(shù)職務(wù)及任職時(shí)間講師（2012.10）擬評(píng)聘的專

2、業(yè)技術(shù)職務(wù)副教授申報(bào)原因：海外經(jīng)歷未滿6個(gè)月（已有2個(gè)月）申報(bào)程序性評(píng)審原因與業(yè)績亮點(diǎn)業(yè)績亮點(diǎn)：1、以第一作者或通訊作者發(fā)表高水平論文1919篇，其中，A類8篇、A類2篇、A類5篇。2、主持完成國家自然科學(xué)基金青年基金1項(xiàng)，主研國家自然科學(xué)基金面上項(xiàng)目2項(xiàng)。3、申請(qǐng)國家發(fā)明專利13項(xiàng)，目前均已收到初步審查合格通知書。4、作為主要研究人員，積極全面參與系統(tǒng)可信性自動(dòng)驗(yàn)證國家地方聯(lián)合實(shí)驗(yàn)室申建工作。學(xué)習(xí)經(jīng)歷：2012年，畢業(yè)于西南交通大學(xué)，

3、信息科學(xué)與技術(shù)學(xué)院，獲工學(xué)博士學(xué)位2008年，畢業(yè)于遼寧師范大學(xué)，數(shù)學(xué)學(xué)院，獲理學(xué)碩士學(xué)位2005年，畢業(yè)于遼寧師范大學(xué)，數(shù)學(xué)學(xué)院，獲理學(xué)學(xué)士學(xué)位主要學(xué)習(xí)、工作簡歷2012.7～至今，西南交通大學(xué)，數(shù)學(xué)學(xué)院，從事教學(xué)科研海外經(jīng)歷與時(shí)間1、2013.09.01～2013.09.20，隨徐揚(yáng)教授學(xué)術(shù)團(tuán)隊(duì)訪問英國劍橋大學(xué)、牛津大學(xué)、曼切斯特大學(xué)、阿爾斯特大學(xué)等，并在阿爾斯特大學(xué)代表實(shí)驗(yàn)室匯報(bào)團(tuán)隊(duì)研究進(jìn)展。2、2015.11.23～2015.1

4、1.28，參加第十屆智能系統(tǒng)與知識(shí)工程國際學(xué)術(shù)會(huì)議（ISKE2015），做會(huì)議分組報(bào)告，并擔(dān)任兩個(gè)Session的SessionChair。3、2016.8.20～2016.8.28，參加第十二屆模糊邏輯與智能技術(shù)國際學(xué)術(shù)會(huì)議（FLINS2016），做會(huì)議分組報(bào)告，并擔(dān)任SessionChair?？傮w情況：主持總體情況：主持A類項(xiàng)目類項(xiàng)目0項(xiàng)、項(xiàng)、B類項(xiàng)目類項(xiàng)目1項(xiàng)、項(xiàng)、C類項(xiàng)目類項(xiàng)目0項(xiàng)。項(xiàng)。（僅填寫任現(xiàn)職以來主持的C類以上科研項(xiàng)目，

5、以及參與的A類科研項(xiàng)目，限填5項(xiàng)）序號(hào)起止時(shí)間項(xiàng)目名稱項(xiàng)目分類項(xiàng)目級(jí)別主持參與12014.1.1～2016.12.31基于格值邏輯的α鎖歸結(jié)與α鎖調(diào)解自動(dòng)推理（項(xiàng)目編號(hào)：61305074）國家自然科學(xué)基金青年基金項(xiàng)目B主持22017.1.1～2020.12.31基于矛盾體分離的動(dòng)態(tài)自動(dòng)演繹推理研究（項(xiàng)目編號(hào)：61673320）國家自然科學(xué)基金面上項(xiàng)目A參與32013.1.1～2016.12.31基于格值邏輯的αn(t)歸結(jié)自動(dòng)推理研究（