师资简介

      团队主要建设有国家级科技创新平台“系统可信性自动验证国家地方联合工程实验室”（负责人：杨晗、李志辉），四川省科技创新平台“四川省学生体质健康大数据与应用技术中心”（负责人：韦洪雷）。以国家有突出贡献的中青年专家、四川省学术与技术带头人徐扬教授为学术带头人。主要从事符号演算与机器证明、数值计算、健康大数据与应用技术等领域研究。已经形成了原创的具有国际先进水平的逻辑演绎自动推理体系，并基于该体系研发了系统可信性自动验证实用工具Scavel C和Scavel PLC，已应用于信息安全、航空航天、国防军工、核工业、卫星导航、轨道交通、信息电子、健康医疗等领域，为保障其系统的可信运行发挥了不可替代的关键作用，同时积累了丰富的系统可信性自动验证技术研发经验，完全具备深入工程化应用的基础和能力。设计了大规模非线性半定规划问题软件LogdetPPA被国际上著名的优化工具箱YALMIP收录并广泛使用；提出了非线性反应扩散方程等多种非线性偏微分方程的有限元等数值解法。

近5年来，团队成员在国内外重要刊物上发表论文100多篇， 其中包括《IEEE Transactions on Fuzzy Systems》《Information Sciences》《Fuzzy Sets and Systems》《Computational Optimization and Applications》《Journal of Optimization Theory and Applications》等高级别期刊论文60余篇。研究成果分别获四川省科技进步奖二等奖、中国无线电协会二等奖、四川省医学科技创新二等奖等。近五年，共主持国家自然科学基金面上项目、青年基金等项目等30余项，累计经费4000余万元。团队分别获得2018年和2021年SAT竞赛亚军和第23届国际自动定理证明器竞赛FOF(First Order Formula )组亚军，取得我校在该领域的历史性突破，并填补了中国在该领域的空白。

团队积极响应政府与学校“就地研发、就地转化、就地产业化”政策与需求，与中国航天科技集团公司第十二研究院、30所、成都市急救指挥中心、成都市第三人民医院、四川长虹电器股份有限公司、北京星辰天合科技股份有限公司、成都交子金控集团有限公司、上海三零卫士信息安全有限公司、新华文轩出版传媒股份有限公司等形成共同研发、科技转化及产业化的协同关系。

主要学术骨干：徐扬、秦克云、赵海良、陈树伟、潘小东、王承竞、王明文、何星星、李志辉、韦洪雷、余国朱、陈罗平、邓丽、鲁东、韩玫、徐鹏、黄玉芳、许仁誉、杨晓梅、钟小梅、吴贯锋、胡丽娜、但业星、陈章友、刘秀、何舟等。

“数学与信息交叉”团队2015年入选四川省科研创新团队（团队负责人：周正春教授），依托于两个国家级平台：“系统可信性自动验证”国家地方联合工程实验室和“现代交通通信与传感网络”国家级国际联合研究中心。面向国家和地方重大需求，团队一致致力于面向通信、雷达、信息安全、数据存储与降维的编码理论和智能信息处理技术研究。

团队现有教授4人、副教授3人、讲师5人、博后3人、博/硕士研究生80余人，其中国家青年拔尖人才1人、军委科技委重点项目责任专家1人、全国百篇优博论文获得者1人、教育部/装备部联合青年人才2人、四川省天府万人计划科技菁英1人、四川省青年千人2人、四川省杰青2人、中国信息论青年新星1人、成都市有突出贡献专家1人、学校高层次人才扬华学者2人、雏鹰学者4人。

近年来，团队成员先后承担了国家自然科学基金重点/面上/国际合作/青年项目、国家重点研发计划项目课题、军委科技委重点项目课题、装备预研十三五课题、教育部/装备部联合基金、四川省杰青/重点项目、国家密码管理局十三五重点课题、华为/10、29 /30所和航天一院等企业和研究所委托项目40余项，累计经费2500余万元。

团队成员在数学领域权威期刊（Applied and Computational Harmonic Analysis 、SIAM Journal on Discrete Mathematics、Journal of Combinatorial Theory A、Journal of Algebra、Journal of Number Theory、Finite Fields and Their Applications、Designs Codes and Cryptography）和信息领域顶刊（IEEE Transactions on Information Theory、IEEE Journal on Selected Areas in Communications、IEEE Transactions on Signal Processing、IEEE Transactions on Neural Networks and Learning Systems、IEEE Transactions on Wireless Communications、IEEE Transactions on Communications）发表论文120余篇，其中ESI热点论文和高被引论文10篇。

研究成果先后获全国百篇优秀博士学位论文奖（2013年）、教育部自然科学二等奖（2016年、2020年）、上海市自然科学二等奖（2014年）。部分研究成果已在行业龙头企业和国防领域转化应用、设计的一类优相关低PAPR序列入选WIFI 7国际标准。

团队治学严谨，科研氛围浓厚，文体活动丰富。秉承“术业有专攻、培养有协同”的思路，注重对学生的理论基础、学术能力、工程应用能力和团队合作能力的全方位培养，培养出了一批批理论扎实、技术过硬的人才。培养的研究生中，12人获国家奖学金、3人获唐立新奖、3人获博士生扬华新秀奖、1人获竢实扬华奖章、2人获优秀研究生称号、1人获华为奖学金、2人获出版社奖学金、2人获优秀研究生标兵称号、1人获西南交通大学明诚奖、1人获ACM金奖、2人获“天融信杯”全国高校密码数学挑战赛总决赛三等奖。已毕业的研究生分别前往国内外知名高校、华为、中兴、腾讯、百度、小米、中电10所、30所工作。

团队致力于培养具有国际竞争力和国际视野的高素质人才，依托“无线通信与信息编码”111创新引智基地，为师生搭建了国际交流平台。与美国、德国、法国、英国、加拿大、澳大利亚、日本、挪威、香港等海内外20余所高校具有长期稳定的合作，共同培养了多名青年教师和研究生。