English 官网

李晓红

  • 教师名称：李晓红
  • 教师拼音名称：XiaoHong Li
  • 性别：女
  • 职务：Dean of Computer and Information Technology Dept.
  • 职称：教授

其他联系方式

  • 邮编：
  • 传真：
  • 通讯/办公地址：
  • 邮箱：

荣誉&获奖

中文主页 > 荣誉&获奖

1. Disjunctive Loop Summary via Path Dependency Analysis，ACM SIGSOFT Distinguished Paper Award，2016.11．（Best Paper Award, CCF A）

点击次数:

获奖日期:2019-12-06

下一条:2. The first prize of Hubei Province Science and Technology Awards, cooperated with Wuhan University, 2015, 《可信软件构造方法与技术》。

地址：天津市南开区卫津路92号 邮编：300072
津ICP备05004358号-1 津教备0316号 津公网安备 12010402000425号