姓名：张瑶

性别：男

出生年月：1991年8月

学历/学位：博士研究生/工学博士

职称：助理研究员

所在院系/专业：网络安全学院

2015.09-2018.06   天津大学 硕士生

2018.09-2024.11 天津大学 博士生

2024.11-至今   天津大学 博士后、助理研究员

主要研究方向：软件测试、程序分析、硬件测试

从事面向真实场景下的程序分析和软件测试研究工作多年，近五年在 ASE、NDSS、OOPSLA、FSE、TSE、TSC、TMC、 TPDS、TOSEM、AAAI 等 CCF-A 类顶级会议和期刊上共发表论文12篇，以第一作者身份获得 CCF-A 类会议 ASE 杰出论文奖 1 项，并获得 ACM 天津分会优秀博士论文奖。

学术服务方面，担任 IEEE Transactions on Software Engineering（TSE）、IEEE Transactions on Information Forensics and Security (TIFS)、IEEE Transactions on Dependable and Secure Computing (TDSC)、IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems (TCAD)、IEEE Internet of Things (IOTJ) 等国际顶级期刊审稿人，并在 AAAI，NeurIPS 等 CCF-A 类会议担任 PC。

主持科研项目3项，累计经费120万，包括：国家重点研发计划子课题1项、华为胡杨林基金一项，以及天津市京津冀合作项目一项。

获得ACM天津分会优秀博士生论文奖，以及ACM SIGSOFT Distinguished Paper Award奖。

项目：

1. XXX交易异常事件的XXX，网络空间安全治理重点专项（子课题），项目负责人，80万元。

2. 面向AI机密计算第二平面的安全检测与增强方法研究，CCF-华为胡杨林可信计算专项，项目负责人，30万元。

3. 基于具身智能与大模型的智慧港口建设，横向项目，80万元

论文：

1. Yao Zhang, Xiaofei Xie, Yi Li, et al.“EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software.”In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023. (CCF-A类会议，第一作者， ACM SIGSOFT Distinguished Paper Award，杰出论文奖).

2. Yao Zhang, Xiaofei Xie, Yi Li, et al. Demystifying Performance Regressions in String Solvers, IEEE Transactions On Software Engineering (TSE), 2023. (CCF-A类期刊，第一作者)

3. Yao Zhang, Yude Bai, Minhong Dong, et al. LIMR: Intent-Aware Mashup API Recommendation via LLM-Augmented Multi-Scale Fusion, IEEE Transactions on Services Computing (TSC), 2026. (CCF-A类期刊，第一作者)

4. Yao Zhang, Guangquan Xu, Ruitao Feng, et al. Knowledge is Power: A Knowledge Graph-Based Approach for Mobile Malware Traceability Analysis, IEEE Transactions on Mobile Computing (TMC), 2026. (CCF-A类期刊，第一作者)

5. Zhiping Zhou, Xiaohong Li, Ruitao Feng*, Yao Zhang*, et al. FidelityGPT: Correcting Decompilation Distortions with Retrieval Augmented Generation. Network and Distributed System Security Symposium (NDSS), 2025. (CCF-A类会议，通讯作者)

6. Qiang Hu, Wen Jin, Yao Zhang*, et al. On the Evaluation of Capability Estimation Methods for Large Language Models (AAAI), 2026. (CCF-A类会议，通讯作者)

7. Weizhe Wang, Zhenqi Guo, Qingyang Yan, Zenghao Yang, Yao Zhang*, et al. Enhanced Web Testing with LLMs: A Research Roadmap. ACM Transactions on Software Engineering and Methodology (TOSEM), 2026. (CCF-A类期刊，通讯作者)

8. Wenbu Feng, Xiaohong Li, Ruitao Feng, Yao Zhang*, et al. Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities. Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2026. (CCF-A类会议，通讯作者)

1. ACM SIGSOFT Distinguished Paper Award. 排名（1/6)

2. ACM天津分会优秀博士生论文奖

学术组织/协会： 中国计算机学会会员，IEEE会员，网络与系统安全专业委员会执行委员，计算机安全专委会执行委员，形式化方法专委委员，软件工程专委委员。

学术会议： 担任 IEEE Transactions on Software Engineering（TSE），IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems (TCAD)、IEEE Internet of Things (IOTJ) 等国际期刊审稿人

办公地址：天津大学北洋园校区55教学楼B401

电子邮箱：zzyy@tju.edu.cn

个人主页：https://confz.github.io/