天津大学计算机学院院长及副院长,李晓红 教授
个人简介
李晓红,教授,博士生导师,智能与计算学部网络安全学院副院长、软件与信息安全工程研究所所长,天津市先进网络重点室副主任。兼任计算机学会高级会员、中国计算机学会女工委委员、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项。指导博士生获得天津大学优秀博士论文,硕士研究生连续三年获得天津市优秀硕士学位论文。
近年来,与新加坡国立大学、南洋理工大学、澳大利亚国立大学、加拿大埃德蒙顿大学紧密合作,致力于安全软件工程、可信软件及信息安全领域的研究工作,担任相关领域国际会议程序委员会委员、执委会委员,软件工程、信息安全相关领域国际期刊、国际会议审稿专家。
天津大学计算机学院院长及副院长,李晓红 教授相关推荐
- 泉州师范学院数学与计算机学院陈明玉副院长,泉州师范学院与惠安第三中学共建教育实习基地...
签订仪式现场 4月26日下午,泉州师范学院数学与计算机学院院长陈明玉,院长助理朱达欣.苏连塔.数学专业副主任黄东兰一行四人,到惠安第三中学校参加泉州师范学院与惠安第三中学共建教育实习基地协议签订仪式. ...
- 计算机学院许斌副院长,马鞍山职业技术学院院长姚国成、马鞍山市卫校校长许斌一行来访我院...
6月2日下午,马鞍山职业技术学院院长姚国成.副院长马小林和马鞍山市卫校校长许斌一行来我院考察交流.我院在行政楼三楼会议室组织了座谈会,院长方志斌,党委副书记.副院长邵一江,纪委书记金辉以及医学分院.实 ...
- 周颖杰计算机学院,周颍杰、吴晓红带队赴河南科技大学进行考察交流
(通讯员 王居东)6月24日下午,副校长周颖杰.吴晓红带领合作与发展规划处.教务处.科研处(学科建设办公室).人事处(教师发展中心).招生就业处(创业学院).团委.土木与交通工程学院.电气与控制工程学 ...
- 天津大学计算机学院课表,天津大学软件实践1汇编语言课程教学大纲-天津大学计算机学院.PDF...
天津大学软件实践1汇编语言课程教学大纲-天津大学计算机学院 天津大学<软件实践 1(汇编语言)>课程教学大纲 软件实践1(汇编 课程编号: 2160276 课程名称: 语言) 学 时: 4 ...
- 天津大学计算机学院考研复试名单,天津大学计算机学院09考研复试第一批名单...
天津大学计算机学院第一批硕士研究生参加复试考号 100569008809811 100569000205542 100569000105436 100569000105401 100569000105 ...
- 天津大学计算机组成原理,天津大学计算机学院计算机组成原理复习材料.docx
天津大学计算机学院计算机组成原理复习材料 机器语言--计算机的原始指令组成的一种可供人和计算机进行交流的语言.(1)翻译:在执行用L1写得程序之前生成一个等价的L0指令序列来替换它,生成的程序全部由L ...
- 天津大学计算机学院杜朴风,开源技术及应用-天津大学计算机学院.PPT
开源技术及应用-天津大学计算机学院 安装Ubuntu的一些常见问题 如果你还是搞不定网络 试试查找这些命令 ping/traceroute/arp 你懂得 ifconfig/ifup/ifdown 基 ...
- 天津大学计算机专硕_天津大学计算机学院学硕和专硕哪个好?
如果你在准备考研,成绩碾压天津大学计算机,那么你何尝不够一下更好的学校? 如果你在准备考研,成绩属于擦边进天津大学计算机这种,那么哪个好考,哪个好,毕竟天津大学计算机学院很不错,进去总比名落孙山强. ...
- 使用计算机频繁使用的算法,基于DHP的频繁遍历路径挖掘算法-天津大学计算机学院.PDF...
基于DHP的频繁遍历路径挖掘算法-天津大学计算机学院 维普资讯 第25卷第 5期 杭 州 电子 科 技 大 学 学报 Vo1.25.No.5 2005年 10月 Jounud of I-la~ hou ...
最新文章
- java培训班如何选择
- java调用matlab 数组_JAVA调用matlab程序 输入输出数据转换
- Android-gradle插件调试
- 9个必知的Python操作文件/文件夹方法
- mysql存储过程和自定义函数
- C# SQLite 数据库操作语句与文件视图管理器
- c语言 函数的参数传递示例_isgreater()函数以及C ++中的示例
- python 百度ocr识别_Python使用百度Ocr识别文字保存CSV
- 7003.node.js环境搭建及三方软件包
- Facebook合并WhatsApp和Instagram?德国:展开反垄断调查!
- VUE使用Stylus插件
- jupyter notebook matplotlib绘制动态图并显示在notebook中
- spring boot发送其他邮件
- 13款最佳免费网络监控工具,网站监控软件的总结。
- linux系统中权限有几种,Linux系统中三种基本权限
- 阿里云和Azure ICON图标矢量素材分享
- 华为2288服务器不显示BIOS,设置BIOS - RH2288H V3 服务器 V100R003 用户指南 41 - 华为
- 团队合作开发的两种文档工具
- windows-运维-12 Windows 防火墙
- poscms清除html,poscms购物
热门文章
- android面试自定义view,资深面试官:自定义View的实现方式,你知道几种?
- mysql-5.6.16-win32_mysql-5.6.16-win32免安装配置方法
- oracle11g broker,张欣橙 Oracle11g 配置DG broker
- html制作水晶状态导航栏,HTML5 CSS3水晶风格的页面头部
- php 字段验证类库,PHP验证类库常用数据安全验证
- eclipse 面包屑开关 / 查看class再哪个jar中
- 【spring boot】【spring cloud】异常:找不到方法HikariDataSource.getMetricsTrackerFactory()
- spring事务(三)
- AWS 基础服务学习
- html点击按钮弹出窗口_电脑桌面总是弹出广告怎么办?教你2种方法,轻松解决...