为了吸引外国优秀人才参与我院科研工作，拓展我院国际科研伙伴关系网络，提高我院科研队伍的国际化水平，增强我院的国际吸引力和竞争力，中国科学院近年来开始实施“中国科学院国际人才计划”（以下简称“国际人才计划”）。 由重庆院推荐的加拿大西安大略大学Marc Moreno Maza教授入选中国科学院2015年度国际人才计划，并作为国际访问学者应邀于7月1日至11月1日赴重庆院工作访问。 

　　7月9日，袁家虎院长为 Moreno Maza教授颁发了“中国科学院国际人才计划（PIFI）–国际访问学者”证书，并举行了“大师讲坛”学术报告会。 Moreno Maza教授作了题为“Optimizing Computer Programs: A Killer App for Scientific Computing?”的报告，介绍了如何利用科学计算中的工具，比如符号计算中的量词消去和数值计算中的优化算法，来自动产生高效的计算机并行程序。 Moreno Maza教授通过矩阵乘法、多项式乘法等例子，深入浅出地向大家阐述了科学计算在优化计算机程序及自动生成GPU程序等应用中的重要性，并向大家展示了他的团队和自动推理与认知重庆市重点实验室合作开发的自动生成并行程序的MetaFork平台。报告结束后，Moreno Maza教授与在场的科研人员进行了互动交流。 

　　工作访问期间，Moreno Maza教授将与重庆院自动推理与认知重庆市重点实验室的研究人员合作开展“含参数的程序自动并行化”研究，主要包括共同组织“高性能计算暑期班”；共同组织国际工业与数学大会（ICIAM）“三角分解的应用”专题讨论会；合作研究符号计算和高性能计算的相关理论和算法。此项研究有望将现有科学与工程计算中的大量串行程序自动转化成能够利用最新计算机体系结构的并行程序。 

Marc Moreno Maza为加拿大西安大略大学计算机系和应用数学系双聘副教授，美国麻省理工大学访问学者，IBM Fellow, IEEE/NSF Technical Committee委员，加拿大SHARCNET Resource Allocation Committee委员，入选中国科学院2015年度国际人才计划。曾多次担任国际知名会议ISSAC, CASC, PASCO, SNC, ICMS, SIAM, HPCA, CAIMS等学术委员会主席或委员。担任SRN Journal of Algebra和Journal of Systems Science and Complexity编委。其在符号计算、高性能计算领域发表近百篇学术论文，应邀在国际会议做了60多场学术报告，为开源软件AXIOM, ALDOR作出重要贡献，主持开发了著名的Maple软件包RegularChains和C语言库modpn，BPAS，cumodp, MetaFork, 其代表性论文 ”On the theories of triangular sets"是符号计算杂志引用次数最多的文章之一。曾获得MITACS优秀导师奖，ACM-ISSAC杰出软件奖，ISSAC Best Poster, NSF/IEEE-TCPP Early Adopter Status奖等。

袁家虎院长为Moreno Maza教授颁发证书

报告会现场