孙 毅
中国科学院计算技术研究所研究员