王顺洪书记走访调研数学学院徐扬教授团队

11月6日下午，校党委书记王顺洪来到九里校区数学学院，听取该院徐扬教授科研工作报告。数学学院党委书记陈尚云等学院负责人；党委办公室、人事处、科技工作处、研究生院、党委宣传部、国家大学科技园负责人参加调研。

徐扬首先陪同王顺洪参观了团队的工作教学场所，随后，就其自动推理研究工作的内容、进展等工作做了详实的汇报。徐扬表示，他们的研究工作始于1984年，先后得到了国家自然科学基金委、国家博士点基金管委会、四川省、学校有关单位的有力支持，团队目前已经取得了不错的成绩，其中，“四川省系统可信性自动验证工程实验室”已获批建设。他谈到，王顺洪书记等学校领导先后前来调研，高度重视他所做的研究，并给予了大力支持，对此，他表示深深地感谢。同时，他谈到，团队希望在人、财、设备、办公场所上得到更多支持，“你们的支持会变成我们更大的动力”。

在听取了徐扬教授汇报、各单位负责人的发言后，王顺洪当即表态，对团队提出的困难，能立即解决的立即解决，不能立即解决的责成相关部门抓紧解决。他指出，学校一定会发展好、应用好、保护好徐扬教授团队的科研成果；校内各单位一定要配合好、支持好徐扬教授科研团队的工作，在人员配备、设备供应、场地安排等方面多予考虑；研究团队则要注意自身精力的更多投入，增强责任感、紧迫感，敢想敢做，掌握成果发布的时机。他表示，期待徐扬教授团队能做出更多、更大的科研成果，打造世界级的科学家。