教师 · Faculty
孙家广
中国工程院院士
软件及应用领域专家。中共党员。1970年毕业于清华大学自控系。曾任国家自然科学基金委副主任，清华信息科学与技术国家实验室（筹） 主任，清华大学信息学院院长，清华大学软件学院院长，第十二届全国人大代表、教科文卫委员会委员。现任清华大学教授，清华大学学术委员会副主任，教育部软件工程教指委主任，国家企业信息化应用支撑软件工程技术研究中心主任，大数据系统软件国家工程实验室主任，中国图学学会理事长。
姜宇
副教授
姜宇博士为清华大学软件学院副教授，博士生导师。于2010年9月获北京邮电大学软件工程学士学位，2015年1月获清华大学计算机科学与技术博士学位，2015年4月至2016年8月在美国伊利诺伊大学厄巴纳香槟分校进行博士后研究工作。主要方向为软件工程、物理信息融合系统，重点关注大数据程序，人工智能程序，量子程序等的安全测试分析。曾获计算机学会优秀博士学位论文、微软亚洲研究院铸星计划、中国科协青年人才托举计划。
学生 · Student
杨镒箫
2014级直博生
2010.9-2014.6南京大学
研究方向：测试用例生成
施鹤远
2015级直博生
2011.9-2015.6 中南大学
研究方向：操作系统安全测试
高健
2016级直博生
2012.9-2016.6北京邮电大学
研究方向：漏洞克隆检测
郭建敏
2017级直博生
2013.9-2017.6 北京邮电大学
研究方向：深度学习系统测试
梁杰
2017级直博生
2013.9-2017.6 北京邮电大学
研究方向：内存安全模糊测试
傅滢
2017级硕士生
2013.9-2017.6 北京邮电大学
研究方向：区块链安全测试
赵越
2017级硕士生
2013.9-2017.6 北京邮电大学
研究方向：深度学习系统测试
陈元亮
2017级硕士生
2013.9-2017.6 南京大学
研究方向：内存安全模糊测试
池婧雯
2017级硕士生
2013.9-2017.6 清华大学
研究方向：测试用例生成
王明哲
2018级直博生
2014.9-2018.6北京邮电大学
研究方向：内存安全模糊测试
苏卓
2018级直博生
2014.9-2018.6东北大学
研究方向：模型驱动开发
周炽金
2018级硕士生
2014.9-2018.6北京理工大学
研究方向：内存安全模糊测试
张明睿
2019级直博生
2015.9-2019.6 北京师范大学
研究方向：模型驱动开发
马福辰
2019级直博生
2015.9-2019.6北京邮电大学
研究方向：区块链安全测试
任萌
2019级硕士生
2015.9-2019.6 中山大学
研究方向：区块链安全测试
罗正雄
2019级直博生
2015.9-2019.6北京邮电大学
研究方向：工控软件安全
左飞龙
2019级硕士生
2015.9-2019.6 北京化工大学
研究方向：工控软件安全
毕业校友 · Alumni
张华枫
2012级博士
工作单位：华为技术有限公司
郭心睿
2012级博士
工作单位：微软工程院
刘浛
2012级博士
工作单位：Oxford (hainan) blockchain research institute
李天池
2015级硕士生
工作单位：
杨鑫
2016级硕士生
工作单位：
杨志强
2016级硕士生
工作单位：Oxford (hainan) blockchain research institute
任谦
2016级硕士生
工作单位：Oxford (hainan) blockchain research institute