教师  ·  Faculty
苏卓 博士后
苏卓博士目前在清华大学进行博士后研究工作。于2023年1月获清华大学软件工程博士学位,2018年6月获东北大学学士学位。博士后期间入选了国家“博新计划”和清华大学“水木学者计划”,入选“CCF形式化方法专委优秀博士论文激励计划”,主持了国家自然科学基金面上项目以及博士后面上项目。博士期间曾获清华大学优秀博士论文、清华大学优秀毕业生、国家奖学金、一等奖学金等荣誉。主要研究模型驱动的软件开发技术,重点关注嵌入式控制系统的代码自动生成以及模型代码的安全保障。针对模型驱动的软件开发提出了统一的代码生成框架,支持对不同工具构建的模型进行高质量代码生成以及高效率高覆盖的自动测试。相关系统已经被应用于华为车控行为建模系统中,相关论文发表在DAC、ASE、EMSOFT、TSE、TCAD等顶级会议和期刊上。
赵艳阳 博士后
赵艳阳博士目前在清华大学进行博士后研究工作。于2018年6月获得河南工业大学控制科学与工程的硕士学位,2022年11月获得北京邮电大学计算机科学与技术的博士学位,从事基于机器学习的静态代码分析与缺陷预测工作,相关成发表在EXSY、IST期刊上,2023年3月入职博士后,主要从事是软件工程和工控协议的漏洞挖掘,重点关注基于人工智能技术的协议逆向工程研究。
      学生  ·  Student
邓文倩
2023级硕士生
2019.9-2023.6 华东师范大学
研究方向:数据库系统安全
徐琪
2023级硕士生
2019.9-2023.6 南京大学
研究方向:工控协议软件安全
丁宗康
2024级硕士生
2020.9-2024.6 四川大学
研究方向:工控协议安全
王玉珏
2024级硕士生
2020.9-2024.6 东南大学
研究方向:工控协议安全
颜臻
2024级硕士生
2020.9-2024.6 北京航空航天大学
研究方向:区块链系统安全
楚逸飞
2024级硕士生
2020.9-2024.6 西北工业大学
研究方向:操作系统内核安全
冼震声
2024级硕士生
2020.9-2024.6 北京邮电大学
研究方向:密码库安全
 研究助理  ·  Research Assistant   
许彦婷
2018.9-2022.6 贵州大学
科研事务助理
 毕业校友  ·  Alumni   
张华枫
2012级博士
工作单位:华为
郭心睿
2012级博士
工作单位:微软工程院
刘浛
2012级博士
工作单位:Oxford (hainan) blockchain research institute
李天池
2015级硕士生
工作单位:字节跳动
杨鑫
2016级硕士生
工作单位:南瑞集团北京研发中心
王程鹏
2016级硕士生
毕业去向:HKUST Ph.D.
杨志强
2016级硕士生
工作单位:Oxford (hainan) blockchain research institute
任谦
2016级硕士生
工作单位:Oxford (hainan) blockchain research institute
王聪
2015级直博生
工作单位:字节跳动
施鹤远
2015级直博生
工作单位:中南大学
傅滢
2017级硕士生
工作单位:蚂蚁金服->NUDT Ph.D.
赵越
2017级硕士生
工作单位:Shopee
池婧雯
2017级硕士生
工作单位:完美世界
高健
2016级直博生
工作单位:华为
杨镒箫
博士后
工作单位:首都师范大学
郭建敏
2017级直博生
工作单位:华为
任萌
2019级硕士生
工作单位:腾讯
左飞龙
2019级硕士生
工作单位:腾讯
王明哲
2018级直博生
工作单位:华为
殷梓敬
2020级硕士生
毕业去向:ETH Ph.D.
许怡文
2020级硕士生
工作单位:阿里云
孙浩
2020级硕士生
毕业去向:ETH Ph.D.
徐意如
2021级硕士生
工作单位:腾讯