所在科研团队与研究机构

1.可视化计算与虚拟现实四川省重点实验室

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

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

4. 四川师范大学 Laurent数学中心 信息与计算科学团队

5. 四川师范大学“代数学及其应用”创新团队

 四川师大主要合作教师

1.莫智文（教授/博士/博导/硕导）

2.冯山（教授/博士/硕导）

3.唐孝（教授/博士/硕导）

4.柏明强（教授/博士/硕导）

5.庞朝阳（教授/博士/硕导）

6.冯林（教授/博士/硕导）

7.杨霁琳（副教授/博士/硕导）