实验室:
1. 四川师范大学智能信息与量子信息研究所
2. 系统可信性自动验证国家地方联合工程实验室四川师范大学研究中心.
已毕业学生:
硕士
2018年:周思齐(上海交通大学博士), 廖婷(双流中学附属实验小学), 雷佳(遂宁一中), 江雨婷(西安电子科技大学博士)
2019年:张长悦(华南理工大学博士),唐亮(西华大学理学院), 杨雪(西南交通大学信息技术学院)
2020年:吴帆(四川师范大学博士),柳人菊(渠县中学),张玉春(巴川中学),唐茜(重庆潼南实验小学),余松(南充高中)
2021年:李文靖(四川师范大学附中),肖钧匀(内江六中),刘芷仪(成都读者小学),
2022年:熊思宇(四川师范大学博士). 张群(重庆石柱四中), 冯舟靓(西华师大附小)
2023年:杨振(电子科技大学博士),薛丹(金堂淮口中学),熊思婷(成都双语实验学校),雷小燕(渠县中学),郭继红(西安电子科技大学博士),程登翔(荣县中学), 谢佳欣
2024年:黄凡(四川师范大学博士),吴光阳(湘潭大学博士),罗元茂(什邡中学),严玉瞻(成都二中),杨雨蝶(青羊区教科院附中)
博士
2021年:向毅(四川轻化工大学)
2022年:唐亮(西华大学理学院)
2024年:吴帆(西华大学理学院)
在读学生:
硕士
2022级 陆思俊,文静, 何世平, 杨金川, 艾静文, 张廷燕
2023级:古富玉, 王睿, 李弈
2024级:张力, 蓝思琪, 张艳婷
博士
2022年:熊思宇
2024年:黄凡