個人簡介

李曉紅，教授，博士生導師,智能與計算學部網絡安全學院副院長、軟件與信息安全工程研究所所長，天津市先進網絡重點室副主任。兼任計算機學會高級會員、中國計算機學會女工委委員、ACM會員、軟件工程專委會委員、形式化專委會委員、全國高等學校計算機教育研究會常務理事、天津大學女工委員、智能與計算學部教代會主任。主要從事計算機科學及計算機應用、軟件工程及安全軟件工程、可信軟件及網絡安全等信息安全領域的研究工作。

主持和參與科技部“863”計劃、國家重大研究計劃，國家基金重點、天津市重點等項目20余項，發表重要期刊和會議論文100余篇。在頂級會議和期刊發表論文23篇，其中：CCF A類或SCI一區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一區2篇，SCI二區2篇、SCI三區2篇，論文“Proteus:

Computing Disjunctive Loop Summary via Path Dependency Analysis”解決了符號執行中循環處理的難題，被軟件工程頂級會議FSE 2016接收，并獲得ACM SIGSOFT 2016年度杰出論文獎。曾獲授權國家發明專利13項，獲湖北省科技進步一等獎1項，天津科技進步三等獎1項。指導博士生獲得天津大學優秀博士論文，碩士研究生連續三年獲得天津市優秀碩士學位論文。

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

總結

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

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。