中国科学院软件研究所2017年学术年会
特邀报告
时间：2017年5月12日
地点：中国科学院软件园区5号楼四层大报告厅
特邀报告人：孙家昶 研究员
孙家昶研究员介绍了高性能计算与软件的发展历程，带来的机遇、挑战及重要性；讲解了大规模并行数值模拟技术并介绍了获得国际高性能计算应用领域最高奖“戈登 贝尔奖” （ACM Gordon Bell Prize）的“千万核可扩展大气动力学全隐式模拟”技术，与大家分享了获奖经验和感受；介绍了软件所高性能计算团队20年来在这个领域所做出的努力与贡献，历经国内外多代系统考验，最终在国产“神威太湖之光”这一世界顶级超算系统上取得突破；最后孙家昶研究员鼓励科研人员“看准前沿、长期坚持、不断创新”。
特邀报告人：应明生 研究员
题目：Quantum Recursion and Second Quantization
应明生研究员近年来致力于建立带量子控制流的量子程序理论，其中一个基本而困难的问题是量子递归的处理。在报告中，他为我们介绍了最近提出的基于二次量子化的刻画递归程序语义的方法，分享了如何从多个不同领域寻找工具解决一个基础性问题的经历，加深了大家对量子计算领域研究的了解。
