中科院成都计算机应用研究所导师介绍:杨路
姓名:杨路 性别:男
职称:副教授 学院:中科院成都计算机应用研究所
研究方向:计算机自动推理(含机器证明)、几何算法、智能软件技术
主要经历:
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: 021-62233299
【中科院成都计算机应用研究所导师介绍:杨路】相关文章:
- 2017-01-10【导师介绍】中南大学黄健陵
- 2016-10-26【导师介绍】浙江大学计算机科学与技术专业导师个人简介:王章野
- 2016-10-26【导师介绍】复旦大学生命科学学院霍克克博导个人简介
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:陈熙霖
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:何军
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:许伟
网友关注
- 【导师介绍】河北师范大学国古代文学
- 【导师介绍】河北师范大学生态学
- 【导师介绍】河北师范大学自然地理
- 【导师介绍】河北师范大学中国近现代史
- 【导师介绍】河北师范大学伦理学
- 【导师介绍】河北师范大学细胞生物学
- 【导师介绍】河北师范大学中国古代文学
- 【导师介绍】河北师范大学物理科学与信息工程学院介绍
精品推荐
- 2021考研管综逻辑300道推理题及答案(21)
- 2020考研管理类联考综合全国硕士研究生考试试题及答案(网友版)
- 2020考研管综逻辑演绎推理类型试题及答案解析(查字典考研网版)
- 2020考研管综逻辑分析推理类型试题及答案解析(查字典考研网版)
- 2020考研管综初等数学算术部分试题解析及往年对比
- 2020考研管综初数条件充分性判断部分试题答案及解析(查字典考研网版)
- 2020考研管理类联考初数问题求解部分试题答案及解析(查字典考研网版)
- 2020考研管综初等数学数据分析部分试题解析及往年对比
- 2020考研管综初等数学平面图形部分试题解析及往年对比
- 2020考研管综初等数学空间几何体部分试题解析及往年对比