当前位置: 主页 > 导师简介 >

导师简介

杨路

时间:2018-03-05 11:40   来源:未知

研究方向介绍:计算机自动推理(含机器证明)、几何算法、智能软件技术。

主要经历:
  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州立大学等,客座教授。
  199511月访问联合国大学国际软件所。
  199512月访问新加坡国立大学。
  19967  访问奥地利符号计算研究所。
  19979  访问台北中中央研究院、台北清华大学等多个单位。
  19983-7  法国国家科研中心,客座研究员。
研究成果及获奖情况:
  1.1995年获中国科学院自然科学一等奖。
  2.1997年获国家自然科学二等奖。
  3.2001年获中国第8届专利博览会金奖。 
  4.2003年获全国五一劳动奖章。
 
联系方式:
  Email: luyang@casit.ac.cn