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

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

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

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

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

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