为加强与川内高校之间的交流与合作，推动数学学科的发展与建设，2024年11月6日，阿坝师范学院应用统计学专业的47名师生在我院开展了一次内容丰富的建模培训与学术交流见习活动。本次活动旨在通过实地学习和互动交流，帮助阿坝师范学院数学学院的学生进一步了解统计建模的前沿技术，提升其在数据分析与建模领域的应用能力。数学学院院长杨晗、副院长王璐、党委副书记黄祥与数学学院2022级本科生辅导员杨引接待了阿坝师范学院师生一行。
见习活动正式开始前，党委副书记黄祥代表数学学院向阿坝师范学院数学学院党委书记蒋自国、院长杨仕椿一行的到来表达了热烈欢迎，他表示，交大数院与阿坝师院数院间有深厚的友谊，希望本次见习交流能加强两院间的交流合作，增长学生在统计建模方面的专业知识，共同推动统计建模的发展与数学学科建设。
6日上午10:30见习活动正式开始，阿坝师范学院应用统计学专业的47名师生参观了我院系统可行性自动验证国家级实验室。在X30423，实验室科研助理李浩然向来访师生介绍了系统可信性自动验证国家地方联合工程实验室概况及科研成果，同时还介绍了实验室在青少年健康领域所做的研究。
随后，阿坝师院师生一行到3号教学楼6楼参观系统可信性自动验证国家地方联合工程实验室。实验室王恪明副教授为大家讲解了基于推理的验证原理及其在各个系统中的应用，同时带领同学们到实验室机房体验从实际抽象出来的标准求解算例在机器上面是如何用实验室所开发的系统求解的。随后王恪铭副教授在会议室以《自动推理验证理论及其在安全苛求行业中的应用》为主题，就形式化验证的简介、应用、研究基础等向阿坝师院的师生进行讲解。
下午14：00，阿坝师范学院数学学院应用统计专业42名学生在X30456参加了由西南交通大学数学学院统计系主任唐家银主讲的《统计建模及竞赛实训》课程。唐主任从竞赛教练和竞赛评委双重角度带领同学们深入分析往年的竞赛题目与竞赛作品案例，并从中总结规律，再从选题、模型、写作规范、结论与建议四个角度一一展开讲解，并针对同学们的具体情况提出了学习建议。
同时，两院座谈会及博士毕业生招聘宣讲在X30429顺利召开。西南交通大学数学学院院长杨晗、副院长王璐、党委副书记黄祥、辅导员杨引，阿坝师范学院数学学院党委书记蒋自国、院长杨仕椿，党政办主任谷琳琳、蔡尚媛主任参加此次座谈。双方就两院学生交流及合作等相关事宜展开了深入而细致的交流。随后，蒋自国书记、杨仕椿院长为西南交通大学数学学院博士生作了博士毕业生招聘宣讲。在后续的答疑环节中,他们对同学们提出的问题作了一一解答，同时对双方长期合作表达了展望与期待。
见习活动最后，阿坝师范学院师生在校园大使的带领下游览校园。通过大使团的讲解，阿坝师范学院的师生对交大校史、交大校园有了更进一步的了解。
此次阿坝师范学院赴我院开展的学生见习活动为两校两院间的交流合作提供了更加广阔的平台，助力双方加强在学科建设、统计建模、实习实践等方面的合作，共同推动在数学领域的建设与发展。
