近日，为提高科技骨干与研究生学术水平，成都信息公司邀请国内著名的计算机科学家、数学家、博士生导师杨路研究员做了系列学术报告，著名数学家、中科院院士张景中也应邀出席了会议。讲座得到了公司领导、科技骨干与研究生的积极响应，包括来自四川大学、电子科技大学等近100余人次参加。
报告主要包括了杨路研究员在距离几何、多项式完全判别系统、程序验证与计算机代数等领域的最新成果。重点介绍了在人工智能及应用领域三十多年来的领先工作，特别是近年来嵌入式软件的程序验证，在国家重大战略项目（如嫦娥计划、大飞机研制等）中扮演的重要角色。
报告中，杨路研究员指导研发人员如何将成果应用于提升公司产品技术含量，探索解决实际工作中出现的挑战性问题，如距离几何与传感器分布式计算的融合等。