西安交通大学数学与计算机科学教授,中国科学院院士