跳到主要内容

成员

认识我们研究小组的成员

教职工

负责人

  • 张健

    研究员

    博士生导师

    自动推理,约束求解,静态分析,软件测试

成员

  • 严俊

    研究员

    博士生导师

    程序分析与软件测试

  • 马菲菲

    研究员

    博士生导师

    自动推理与约束求解

  • 晏荣杰

    副研究员

    硕士生导师

    嵌入式系统分析与验证,智能系统

  • 燕季薇

    副研究员

    硕士生导师

    移动应用分析与测试、智能化软件工程

  • 高航

    高级工程师

    图表示学习,面向软件工程的人工智能技术,大语言模型

  • 瞿荣

    工程师

    程序分析,软件测试,编译器测试

  • 张世新

    工程师

    RISC-V跨架构迁移技术、程序分析、软件测试

博士后

  • 崔保全

    博士后

    程序分析与软件测试

  • 何锦龙

    博士后

    程序验证、分析与测试

  • 贾富琦

    博士后

    自动推理与约束求解

学生

博士生

硕士生

毕业生

毕业生
姓名毕业年份学位去向
王锐2026硕士蚂蚁集团
肖瑜2026硕士字节跳动
崔保全2025博士中科院软件所
解远远2025硕士百度
马旭桐2024博士法国 Inria
胡梦泽2024硕士字节跳动
邓茜2023博士华为
刘明昊2023博士牛津大学
燕季薇2023博士中科院软件所
罗季2023硕士航天研究所
王苗苗2023硕士蚂蚁金服
黄沛2022博士斯坦福大学
苏静2022硕士陕西农林职业技术大学
王伟2022硕士国家电网
章新2022硕士腾讯
潘临杰2021博士华为
刘力铭2021硕士壁仞科技
刘晴2021硕士阿里巴巴
张龙2020博士华为
李润东2020硕士微软
李雅琪2020硕士字节跳动
张帆2020硕士百度
葛存菁2019博士南京大学
王平2019硕士腾讯
吴兴明2018博士某事业单位
吕亦奇2018硕士每日优鲜
杨玲2018硕士微软
吴添勇2017博士华为
刘洁瑞2017硕士字节跳动
燕东2017硕士百度
卢琼2016硕士微软
张智强2015博士谷歌