张申生 高剑峰 张荣 赵继云 蔡鸿明 谢宇 卢春霞 袁伟

输入法编辑器 经验风险最小化 防火墙 敏捷供应链管理 约束图 系统升级 领域适应性建模 几何约束求解

微软亚洲研究院 上海交通大学软件学院 中国矿业大学机电工程学院 上海交通投资信息科技有限公司 上海交通大学计算机科学与工程系 上海交通大学电子与电气工程学院 上海交通大学计算机系CIT实验室