楊路，研究員，博士生導師，國家兩屆攀登項目“機器證明及其應用”和“數學機械化的理論與研究”和國家兩屆973項目“數學機械化與自動推理平台”和“數學機械化及其在信息技術中的應用”專家委員會委員，國家攀登項目“數學機械化的理論與研究”的首席科學家。國家兩屆攀登計劃、國家兩項863計劃、國家兩屆973計劃、國家自然科學基金以及中國科學院知識創新項目等重大課題的負責人。主研項目《幾何定理機器證明理論與算法的新進展》獲中國科學院自然科學一等獎。該成果是計算機自動推理這個計算機科學－數學交叉領域的多年難遇的重大成果，是國内外計算機科學界公認的卓越成就，在計算機科學、數學、教育科學等各領域産生着深遠影響并獲重要應用。1997年獲國家自然科學二等獎，2001年獲全國專利博覽會金獎，2003年獲全國“五一”勞動獎章。