1、招生信息2、教育背景3、工作经历4、教授课程5、专利与奖励6、出版信息7、科研活动8、合作情况9、指导学生
基本信息
杨路 男 博导 成都计算机应用研究所
电子邮件：luyang@casit.ac.cn
通信地址：成都市人民南路四段九号
邮政编码：610041


研究领域
招生信息

招生专业 计算机软件与理论
应用数学


招生方向 计算机自动推理与符号计算
数学机械化及其应用

教育背景

学历

学位
工作经历

工作简历 1992-07--2011-07 中科院成都计算机应用研究所 研究员
1992-07--1996-07 中科院成都计算所 主任
1986-07--1991-07 中国科学院成都数理科学研究室 研究员
1979-07--1985-07 中国科学技术大学 讲师


社会兼职
教授课程
专利与奖励

奖励信息

专利成果
出版信息

发表论文 （1） Solving Spatial Constraints with Generalized Distance Geometry，Distance Geometry: Theory, Methods, and Applications，2013，第1作者
（2） Differential elimination with Dixon resultants，Applied Mathematics and Computation ，2012，第1作者
（3） Real polynomial iterative roots in the case of nonmonotonicity height 2，SCIENCE CHINA Mathematics，2012，第2作者
（4） 常用基本不等式的机器证明，智能系统学报，2011，第1作者
（5） Symbolic decision procedure for termination of linear programs，Symbolic decision procedure for termination of linear programs，Formal Asp. Comput，2010，第2作者
（6） Recent advances in program verification through computer algebra，Recent advances in program verification through computer algebra，Frontiers of Computer Science in China ，2010，第1作者


发表著作 （1） 不等式机器证明与自动发现，无，科学出版社，2008-07，第1作者

科研活动

科研项目 （1） 基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证，主持，国家级，2011-06--2011-12
（2） 数学机械化方法及其在数字化设计制造中的应用，参与，国家级，2011-01--2015-08


参与会议
合作情况

项目协作单位
指导学生已指导学生

张新丽 博士研究生 081202-计算机软件与理论

刘忠 博士研究生 081202-计算机软件与理论

夏时洪 博士研究生 081202-计算机软件与理论

刘武 博士研究生 081202-计算机软件与理论

章勇 博士研究生 081202-计算机软件与理论

李耀辉 博士研究生 081202-计算机软件与理论

黄方剑 博士研究生 081202-计算机软件与理论

薛继伟 博士研究生 081202-计算机软件与理论

宗芳 硕士研究生 070104-应用数学

黄梅 硕士研究生 070104-应用数学

张永成 博士研究生 081202-计算机软件与理论

李轶 博士研究生 081202-计算机软件与理论

徐嘉 博士研究生 081202-计算机软件与理论

骆家伟 硕士研究生 081202-计算机软件与理论

彭成 硕士研究生 070104-应用数学

史承毅 硕士研究生 081202-计算机软件与理论

张韬 博士研究生 081202-计算机软件与理论

李玲娜 博士研究生 081202-计算机软件与理论

牟琳 博士研究生 081202-计算机软件与理论

现指导学生

杜书泽 博士研究生 081202-计算机软件与理论