WingTecher - People

教师 · Faculty

姜宇博士为清华大学软件学院副教授，博士生导师。于2010年9月获北京邮电大学软件工程学士学位，2015年1月获清华大学计算机科学与技术博士学位，2015年4月至2016年8月在美国伊利诺伊大学厄巴纳香槟分校进行博士后研究工作。主要方向为软件工程、物理信息融合系统，重点关注大数据程序，人工智能程序，量子程序等的安全测试分析。曾获计算机学会优秀博士学位论文、微软亚洲研究院铸星计划、中国科协青年人才托举计划、优秀青年科学基金以及阿里巴巴达摩院青橙奖。

赵艳阳博士后

赵艳阳博士目前在清华大学进行博士后研究工作。于2018年6月获得河南工业大学控制科学与工程的硕士学位，2022年11月获得北京邮电大学计算机科学与技术的博士学位，从事基于机器学习的静态代码分析与缺陷预测工作，相关成发表在EXSY、IST期刊上，2023年3月入职博士后，主要从事是软件工程和工控协议的漏洞挖掘，重点关注基于人工智能技术的协议逆向工程研究。

马福辰博士后

马福辰博士目前在清华大学进行博士后研究工作。于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 月入职博士后，主要从事数据库系统测试工作。

学生 · Student