WingTecher - People

教师 · Faculty

姜宇博士为清华大学软件学院长聘教授，博士生导师。于2010年9月获北京邮电大学软件工程学士学位，2015 年 1月获清华大学计算机科学与技术博士学位，2015年4 月至2016年8月在美国伊利诺伊大学厄巴纳香槟分校进行博士后研究工作。从事操作系统、数据库管理系统等大规模系统软件的安全测试与防护工作。在SOSP、S&P、ATC、SIGMOD等CCF-A类会议发表论文100余篇，获Security、FSE等A类会议杰出论文奖5次，以第一完成人获北京市科技进步奖一等奖、中国计算机学会技术发明奖一等奖等奖励，主持国家重点研发计划项目，基金委青年科学基金项目A类、B类等20余项。

马福辰博士后

马福辰博士目前在清华大学进行博士后研究工作。于2019年6月获北京邮电大学软件工程学士学位，2024年6月获清华大学软件工程博士学位，同年入职博士后并获得清华大学“水木学者”，入选中国电子学会博士学位论文激励计划。主要方向为基于模糊测试的系统漏洞挖掘，重点关注区块链系统，分布式系统，网络通信协议等基础软件的安全测试分析，在FISCO BCOS，Ethereum等常用的区块链平台的共识协议中发现超过50个高危漏洞，入选腾讯犀牛鸟精英人才，获得2021年FISCO BCOS社区年度MVP，相关成果发表在USENIX Security、CCS、NDSS、TSE、TOSEM等顶级会议和期刊上。

顾涛涛博士后

顾涛涛博士目前在清华大学进行博士后研究工作。于2024年12月获得军事科学院计算机科学与技术博士学位。主要研究代码漏洞挖掘相关技术，在php、wireshark、WPS、VirtualBox以及VMware等基础开源项目和国产软件对象中发现超过100个漏洞，相关成果发表在FSE、TOSEM、NDSS、ISSTA等会议期刊上，开发的模糊测试工具集成在LLVM中。博士期间，作为骨干参与多项军队重点项目。

张弛博士后

张弛博士目前在清华大学进行博士后研究。于 2018 年 6 月获得四川大学计算机科学与技术学士学位和金融工程学士学位，2025 年 3 月获得南京大学计算机科学与技术博士学位，博士期间主要研究方向为软件系统缺陷检测技术研究，重点关注嵌入式设备固件和数据库系统的模糊测试技术，以及基于机器学习的缺陷预测技术，针对数据库系统的测试工作在广泛使用的 MySQL、SQLite 等系统中发现超过 75 个缺陷，相关成果发表在 OOPSLA、SIGMOD 等顶级会议上。2025 年 4 月入职博士后，主要从事数据库系统测试工作。

曹雪莲博士后

曹雪莲博士目前在清华大学进行博士后研究工作。于2018年6月获得西南大学计算机科学与技术学士学位，2021年6月获得西南大学计算机应用技术硕士学位，2025年6月获得西南大学计算机科学与技术博士学位。博士期间主要研究方向为应用密码学，重点关注可证明安全的轻量级认证方案研究，相关成果发表在IEEE TIFS, IEEE TDSC, ACM AsiaCCS等期刊和会议上。2025年7月入职博士后，主要从事面向密码算法库的模糊测试工作。

沈煜恒博士后

沈煜恒博士目前在清华大学进行博士后研究工作。于2025年6月获清华大学软件工程博士学位，同年入职博士后并获得清华大学"水木学者”。主要方向为操作系统模糊测试，重点通用操作系统、嵌入式操作系统以及机器人操作系统等，在LINUX、NUTTX等常用操作系统中发现超过60个高危漏洞，相关成果发表在ISSTA、TCAD、RTSS、EMSOFT等顶级会议和期刊上。

闫明博士后

闫明博士目前在清华大学进行博士后研究工作。于2018年6月获天津大学软件工程学士学位，2021年6月获天津大学软件工程硕士学位，2025年6月获得天津大学软件工程博士学位。博士期间主要研究方向为智能化软件测试，重点关注深度学习系统、芯片设计程序等基础软件测试，相关成果发表在FSE,ICSE,TOSEM,TSE等期刊和会议上，已为TensorFlow，PyTorch，MindSpore等开源深度学习框架检测到100+软件缺陷，获ACM杰出论文奖一项，杰出论文奖提名一项。2026年1月入职博士后，主要从事芯片设计模糊测试研究工作。

傅滢博士后

傅滢博士目前在清华大学进行博士后研究工作。于2017年6月获北京邮电大学软件工程学士学位，2020年6月获清华大学软件工程硕士学位。2020年7月至2022年7月就职于蚂蚁集团。2022年9月进入国防科技大学攻读软件工程博士学位并于2026年6月获博士学位。博士期间主要研究方向为数据库系统智能化测试，重点关注复杂配置环境下数据库管理系统的缺陷检测与复现，相关成果发表在ICSE、ASE、JSS等期刊和会议上，并为MySQL、MariaDB、Percona等主流数据库系统检测到多项软件缺陷，曾获ACM SIGSOFT Distinguished Paper Award。2026年7月入职博士后，主要从事数据库系统测试工作。

路则雨博士后

路则雨博士目前在清华大学进行博士后研究工作。于2026年6月获南京大学计算机科学与技术博士学位，博士期间主要研究方向为软件分析与测试、智能化软件工程，重点关注测试用例集缺陷检测有效性的研究，相关成果发表在TOSEM、TSE、OOPSLA等期刊和会议上。2026年7月入职博士后，主要从事AI生成代码的测试和验证工作。

学生 · Student