中科院成都计算机应用研究所导师介绍：杨路

　　姓名：杨路 　性别：男　
　　职称：副教授　学院：中科院成都计算机应用研究所
　　研究方向：计算机自动推理（含机器证明）、几何算法、智能软件技术
　　
　　主要经历：
　　 1.1959年毕业于北京大学数学系。
　　 2.研究员、计算机软件与理论博士生导师、数学博士生导师。
　　 3.中国科学院“不等式机器证明与机器发现”知识创新项目首席科学家。
　　 4.国家973项目“数学机械化与自动推理平台”（G1998040600）专家委员会成员。
　　 5.国家973项目“构造性实代数几何与不等式自动推理”（G1998030602）主持人。
　　
　　工作简历：
　　 1979 — 1985 中国科技大学数学系，讲师、副教授。
　　 1986 — 1991 中国科学院成都数理科学研究室，研究员、副主任。
　　 1992 — 中国科学院成都计算机应用研究所，研究员。
　　 1992 — 1996 中科院成都计算机所，数学与计算机科学研究中心，主任。
　　 1992 — 1996 国家85攀登项目“机器证明及其应用” 专家委员会成员。
　　 1993 年 任IMO中国国家代表队领队、主教练。
　　 1995 — 北京大学数学科学学院信息科学系，教授、系主任（兼）。
　　 1995 — 广州市数学与人工智能中心主任、广州大学软件所，教授（兼）。
　　 1997 — 1998 国家95攀登项目“数学机械化的研究与应用” 首席科学家。
　　 1988 — 1989 澳大利亚国立大学等四所大学，客座教授。
　　 1990 — 1991 意大利理论物理中心、德国Bielefeld大学等，客座教授。
　　 1993 — 1994 美国纽约州立大学、Wichita州立大学等，客座教授。
　　 1995年11月访问联合国大学国际软件所。
　　 1995年12月访问新加坡国立大学。
　　 1996年7月 访问奥地利符号计算研究所。
　　 1997年9月 访问台北中中央研究院、台北清华大学等多个单位。
　　 1998．3-7月 法国国家科研中心，客座研究员。
　　
　　研究成果及获奖情况：
　　 1.1995年获中国科学院自然科学一等奖。
　　 2.1997年获国家自然科学二等奖。
　　 3.2001年获中国第8届专利博览会金奖。
　　 4.2003年获全国“五一”劳动奖章。
　　
　　联系方式:
　　 Email: luyang@casit.ac.cn　　Tel: ************

　　如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式