时清凯 南京大学

副教授

从事产业研究领域：

信息安全、软件工程、软件测评及应用、信息安全测评；

专业特长所获荣誉：

入选国家级青年人才计划，致力于运用编译器技术，特别是形式化程序分析方法，以严格保障软件与网络安全；在程序设计语言（如 PLDI、OOPSLA）、网络安全（如 SP、CCS）和软件工程（如 ICSE、ESEC/FSE）领域的顶级会议发表大量研究成果，并曾四次获得 ACM SIGPLAN或 SIGSOFT 杰出论文奖、一次谷歌研究论文奖，同时荣获 Hong Kong PhD Fellowship。

主要论著业内成果：

1. Protecting Source Code Privacy When Hunting Memory Bugs. Jielun Wu, Bing Shui, Hongcheng Fan, Shengxin Wu, Rongxin Wu, Yang Feng, Baowen Xu, Qingkai Shi (通信作者). The ACM/IEEE International Conference on Automated Software Engineering 2025.

2. Validating Interior Gateway Routing Protocols via Equivalent Topology Synthesis. Bing Shui, Yufan Zhou, Jielun Wu, Baowen Xu, Qingkai Shi (通信作者). The ACM Conference on Computer and Communications Security 2025.

3. Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi (通信作者), Rongxin Wu, Charles Zhang.The ACM SIGPLAN Conference on Programming Language Design and Implementation 2024.

学术、社团职务：

1. 中国计算机学会（CCF）专业会员，形式化方法专委、系统软件专委、网络与系统软件专委执行委员；

2. CCF-A 类期刊或会议（如 TOSEM、CCS、OOPSLA 等）程序委员会委员；

3. 中国电子商会信息工程测试专业委员会智库专家。