李晓红教授 博士生导师
天津大学智能与计算学部
电话: (022) 27406538 传真: (022) 27406538
邮箱:xiaohongli@tju.edu.cn
研究所: 软件与信息安全工程研究所
招生:欢迎有志于从事信息安全领域研究和开发工作的同学加入我们实验室!
19年招生名额尚有剩余,欢迎各位同学邮件联系。
个人简介
李晓红,教授,博士生导师,智能与计算学部网络安全学院副院长、软件与信息安全工程研究所所长,天津市先进网络重点室副主任。兼任计算机学会高级会员、中国计算机学会女工委委员、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项。指导博士生获得天津大学优秀博士论文,硕士研究生连续三年获得天津市优秀硕士学位论文。
近年来,与新加坡国立大学、南洋理工大学、澳大利亚国立大学、加拿大埃德蒙顿大学紧密合作,致力于安全软件工程、可信软件及信息安全领域的研究工作,担任相关领域国际会议程序委员会委员、执委会委员,软件工程、信息安全相关领域国际期刊、国际会议审稿专家。
学习与工作经历
2018.7 -至今 天津大学智能与计算学部,教授、博导。
2001 -2018.7 天津大学计算机科学与技术学院,副教授,教授,博导。
2010.8-2011.2 新加坡国立大学计算学院,高级访问学者。
2002.9-2005.8 天津大学计算机科学与技术系,博士研究生,获得天津大学计算机应用专业工学博士学位。
1999.4-2001.2 天津合勤科技有限公司,从事网络通讯产品的开发与设计。
1996.9-1999.3 天津大学计算机科学与技术系、硕士研究生,获得计算机应用专业工学硕士学位。研究虚拟现实仿真系统的设计与实现,多媒体传输协议设计。
学术兼职
教育部学位与研究生教育发展中心学位论文评审、学科建设和评估咨询专家 ;
教育部科技评价与评审专家、国家科技奖励评审专家;
全国高等学校计算机教育研究会 常务理事;
计算机学会高级会员,ACM会员、中国计算机学会女工委委员;
软件工程专委会委员、形式化专委会委员;
日本北陆科学技术大学院大学(JAIST)客座教授;
《计算机学报》、《软件学报》、《计算机研究与发展》等杂志审稿专家;
软件工程、信息安全相关领域国际期刊、国际会议审稿专家,例如TSE,ICSE,SANER,ICFEM,ICECCS,,APSEC,PRDC;
智能与计算学部学位委员会委员、学科建设委员会成员、教学指导委员会委员;