登录 返回首页 四川师范大学数学与软件科学学院
科研团队

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

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

Copyright © 2024 http://msi.sicnu.edu.cn 四川师范大学数学与软件科学学院