2015年4月28日，“五一”国际劳动节暨表彰全国劳模范和先进工作者大会在北京人民大会堂隆重举行。据悉这是中国继1979年后时隔36年再次对这一群体进行最高规格表彰。党中央、国务院授予2064人全国劳动模范荣誉称号、授予904人先进工作者荣誉称号。其中我校的徐扬教授荣获全国先进工作者荣誉称号。

徐扬，现西南交通大学数学学院教师、教授、博士生导师。自1974年参加工作，有高校院系和省市处、厅等多个岗位工作经历。潜心从事教育事业和科学研究，涉及代数学、逻辑学、不确定性推理、自动推理及其应用等多个领域，在人才培养、学术研究、科技应用等方面，做出突出贡献，获得多项国家级、省部级奖励：1989年被评为四川省优秀教师；1991年曾先后被评为全国教育系统劳动模范，并授予“人民教师奖章”，同年被评为四川省优秀共产党员，铁道部优秀知识分子；1992年，铁道部有突出贡献的中青年专家；1996年，获得茅以升铁道科技奖，同年以徐教授为主编的《不确定性推理》获铁道部第三届优秀教材一等奖，同时获得国家有突出贡献的中青年专家，；1997年，获得中国科学技术发展基金会詹天佑人才奖；1999年，铁道部优秀共产党员；2003年，四川省学术和技术带头人；2011年，“基于格值逻辑的智能信息处理理论与方法”获四川省政府“四川省科技进步奖（二等）”（第一获奖者）。

徐教授自1994年9月起先后担任西南交通大电气化与自动化、交通信息工程及控制、计算机科学与技术专业、管理科学与工程专业的博士生副导师、导师。先后培养了国家急需的高层次人才115人，其中博士后13名、博士毕业生62名和硕士毕业生40名。目前他们均已成为各自工作领域技术业务骨干。其中有7人为博士生导师，23人为教授，21人为副教授，另外多人已走上厅、处级领导岗位。

徐教授除了教书育人，爱岗敬业，桃李芬芳，他更献身于科学研究，治学严谨。他先后承担国际合作、国家及省部级科技项目3项，国家部委项目5项，四川省项目7项。2014年9月，在徐教授的科研团队的研究基础上，“四川省系统可信性自动验证工程实验室”正这些正式立项建设。至今，徐扬同志组织技术人员为军工、铁路、地铁、电子信息等多个领域的重要单位完成了106万余行的程序源代码的验证工作，为这些程序的正确性提供了十分关键的科学保障，深受单位的好评，并纷纷提出为其长期服务的要求。

徐教授工作兢兢业业，为国家重点工程建设作出突出贡献。用平凡的人生，架起一座知识的桥梁，培养出芊芊学子。在此为敬爱的徐教授致以最崇高的敬意，感谢他为我们学校的贡献和对交大学子培养之情。

                         （校工会撰稿   撰稿人简爱侦）