李晓红，教授，博士生导师,智能与计算学部网络安全学院副院长、软件与信息安全工程研究所所长，天津市先进网络重点室副主任。兼任计算机学会高级会员、中国计算机学会女工委委员、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项。指导博士生获得天津大学优秀博士论文，硕士研究生连续三年获得天津市优秀硕士学位论文。
微信扫码咨询专知VIP会员