李晓红,教授,博士生导师,智能与计算学部网络安全学院副院长、软件与信息安全工程研究所所长,天津市先进网络重点室副主任。兼任计算机学会高级会员、中国计算机学会女工委委员、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项。指导博士生获得天津大学优秀博士论文,硕士研究生连续三年获得天津市优秀硕士学位论文。
首届世界科技与发展论坛在京召开
科技导报
0+阅读 · 2019年10月16日
全国科技工作者日 | 科技志愿服务 我们一直在行动
中国人工智能学会
0+阅读 · 2019年5月30日
中国科协:评审产生195名2019年院士候选人!
材料科学与工程
0+阅读 · 2019年3月24日
首届全球工程前沿发布会邀请函
科研圈
0+阅读 · 2018年11月28日
“珞珈之夜”——亚布力中国企业家论坛珞珈行
亚布力中国企业家论坛
0+阅读 · 2018年11月23日
国务院成立国家科技领导小组,李克强总理任组长
知社学术圈
0+阅读 · 2018年8月9日
参考链接
微信扫码咨询专知VIP会员