個(gè)人簡(jiǎn)介

李曉紅，教授，博士生導(dǎo)師,智能與計(jì)算學(xué)部網(wǎng)絡(luò)安全學(xué)院副院長(zhǎng)、軟件與信息安全工程研究所所長(zhǎng)，天津市先進(jìn)網(wǎng)絡(luò)重點(diǎn)室副主任。兼任計(jì)算機(jī)學(xué)會(huì)高級(jí)會(huì)員、中國(guó)計(jì)算機(jī)學(xué)會(huì)女工委委員、ACM會(huì)員、軟件工程專委會(huì)委員、形式化專委會(huì)委員、全國(guó)高等學(xué)校計(jì)算機(jī)教育研究會(huì)常務(wù)理事、天津大學(xué)女工委員、智能與計(jì)算學(xué)部教代會(huì)主任。主要從事計(jì)算機(jī)科學(xué)及計(jì)算機(jī)應(yīng)用、軟件工程及安全軟件工程、可信軟件及網(wǎng)絡(luò)安全等信息安全領(lǐng)域的研究工作。

主持和參與科技部“863”計(jì)劃、國(guó)家重大研究計(jì)劃，國(guó)家基金重點(diǎn)、天津市重點(diǎn)等項(xiàng)目20余項(xiàng)，發(fā)表重要期刊和會(huì)議論文100余篇。在頂級(jí)會(huì)議和期刊發(fā)表論文23篇，其中：CCF A類或SCI一區(qū)8篇(TSE2017、JIOT2018、FSE2016、AAAI2017、FSE2017、IJCAI2017、IEEE S&P 2015、IEEE S&P2016)，CCF B類9篇(ISSTA2016、ECAI2016，ICSME2017、SANER2017、ICWS2017、ICWS2018、AAMAS2018、ICSOC 2018)，JCR一區(qū)2篇，SCI二區(qū)2篇、SCI三區(qū)2篇，論文“Proteus:

Computing Disjunctive Loop Summary via Path Dependency Analysis”解決了符號(hào)執(zhí)行中循環(huán)處理的難題，被軟件工程頂級(jí)會(huì)議FSE 2016接收，并獲得ACM SIGSOFT 2016年度杰出論文獎(jiǎng)。曾獲授權(quán)國(guó)家發(fā)明專利13項(xiàng)，獲湖北省科技進(jìn)步一等獎(jiǎng)1項(xiàng)，天津科技進(jìn)步三等獎(jiǎng)1項(xiàng)。指導(dǎo)博士生獲得天津大學(xué)優(yōu)秀博士論文，碩士研究生連續(xù)三年獲得天津市優(yōu)秀碩士學(xué)位論文。

近年來，與新加坡國(guó)立大學(xué)、南洋理工大學(xué)、澳大利亞國(guó)立大學(xué)、加拿大埃德蒙頓大學(xué)緊密合作，致力于安全軟件工程、可信軟件及信息安全領(lǐng)域的研究工作，擔(dān)任相關(guān)領(lǐng)域國(guó)際會(huì)議程序委員會(huì)委員、執(zhí)委會(huì)委員，軟件工程、信息安全相關(guān)領(lǐng)域國(guó)際期刊、國(guó)際會(huì)議審稿專家。

總結(jié)

以上是生活随笔為你收集整理的天津大学计算机学院院长及副院长,李晓红 教授的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。