实验室:

  1. 四川师范大学智能信息与量子信息研究所

  2. 系统可信性自动验证国家地方联合工程实验室四川师范大学研究中心.

已毕业学生：

     2018年：周思齐(上海交通大学博士), 廖婷(双流中学附属实验小学)，雷佳(遂宁一中)

     2019年：张长悦(华南理工大学博士)，唐亮(西华大学理学院)

     2020年：吴帆(四川师范大学博士)，柳人菊(渠县中学)，张玉春(巴川中学)

     2021年：李文靖(四川师范大学附中)，肖钧匀(内江六中)，刘芷仪(成都读者小学)

     2022年：熊思宇(四川师范大学博士). 张群(重庆石柱四中)

     2023年：杨振(电子科技大学博士)，薛丹(金堂淮口中学)，熊思婷(成都双语实验学校)，雷小燕(渠县中学)

在读学生：

    2021级：杨雨蝶, 罗元茂, 黄凡

    2022级   陆思俊,文静, 何世平

    2023级：古富玉, 王睿, 李弈