教师 · Faculty
梁杰
博士后
梁杰博士目前在清华大学进行博士后研究工作。于2017年6月获北京邮电大学计算机科学与技术学士学位，2022年6月获清华大学软件工程博士学位，同年入职博士后并获得清华大学“水木学者”。主要方向软件工程和基于模糊测试的漏洞挖掘，重点关注数据库管理系统等基础软件的安全测试分析，在MySQL、PostgreSQL、libpng等常用的基础数据存储管理平台及开源项目中发现超过200个高危漏洞，相关成果发表在S&P、TDSC、Security、FSE、ICSE、PLDI等顶级会议和期刊上。
学生 · Student
王明哲
2018级直博生
2014.9-2018.6北京邮电大学
研究方向：内存安全模糊测试
苏卓
2018级直博生
2014.9-2018.6东北大学
研究方向：模型驱动开发
张明睿
2019级直博生
2015.9-2019.6 北京师范大学
研究方向：测试驱动生成
沈煜恒
2020级直博生
2016.9-2020.6 湖南农业大学
研究方向：操作系统内核安全
殷梓敬
2020级硕士生
2016.9-2020.6 中国矿业大学
研究方向：Web与IoT安全
张泉
2020级直博生
2016.9-2020.6 北京邮电大学
研究方向：浏览器模糊测试
刘健中
2021级博士生
2014.9-2021.6 上海科技大学
研究方向：操作系统内核安全
吴志镛
2021级硕士生
2017.9-2021.6 北京邮电大学
研究方向：数据库系统安全
于珺泽
2021级硕士生
2017.9-2021.6 北京邮电大学
研究方向：工控协议软件安全
喻泽弘
2021级硕士生
2017.9-2021.6 东南大学
研究方向：模型驱动开发
徐意如
2021级硕士生
2017.9-2021.6 北京邮电大学
研究方向：操作系统内核安全
符景洲
2022级直博生
2018.9-2022.6 清华大学
研究方向：数据库系统安全
周远航
2022级硕士生
2018.9-2022.6 北京航空航天大学
研究方向：密码库与区块链系统安全
吴非凡
2022级硕士生
2018.9-2022.6 吉林大学
研究方向：工控协议软件安全
侯伊为
2022级硕士生
2018.9-2022.6 四川大学
研究方向：IoT安全
郭礼华
2022级硕士生
2018.9-2022.6 南京大学
研究方向：勒索软件防护
研究助理 · Research Assistant
陈元亮
2013.9-2017.6 南京大学
2017.9-2020.6 清华大学
研究方向：区块链系统安全
马振亚
2016.9-2020.6 北京航空航天大学
2020.9-2022.6 UCSD
研究方向：硬件安全和运行时防护
毕业校友 · Alumni
张华枫
2012级博士
工作单位：华为技术有限公司
郭心睿
2012级博士
工作单位：微软工程院
刘浛
2012级博士
工作单位：Oxford (hainan) blockchain research institute
李天池
2015级硕士生
工作单位：字节跳动
杨鑫
2016级硕士生
工作单位：南瑞集团北京研发中心
王程鹏
2016级硕士生
毕业去向：香港科技大学
杨志强
2016级硕士生
工作单位：Oxford (hainan) blockchain research institute
任谦
2016级硕士生
工作单位：Oxford (hainan) blockchain research institute
王聪
2015级直博生
工作单位：字节跳动
施鹤远
2015级直博生
工作单位：中南大学
傅滢
2017级硕士生
工作单位：蚂蚁金服
赵越
2017级硕士生
工作单位：Shopee
池婧雯
2017级硕士生
工作单位：完美世界
高健
2016级直博生
工作单位：华为技术有限公司
杨镒箫
博士后
工作单位：首都师范大学
左飞龙
2019级硕士生
工作单位：腾讯