到2027年，自动化将催生新的经济——大部分人的社会贡献来自于他们日常生活中所生成的数据，而不是他们所做的工作。经济学家将探讨能够针对这些贡献而对人们进行公平补偿的各种方案。最有可能的方式就是通过税收或社保项目等机制来进行更深入的财富再分配。

　　Kristin Lauter

　　微软雷德蒙研究院首席研究员

　　●2017年，数学和密码学领域将有哪些重大进展？

支持加密数据计算的新的数学解决方案将被开发、部署以保护患者和医院的医疗数据和基因组数据隐私。而新的同态加密方案（homomorphic encryption schemes）将在保护数据的同时支持云端的计算，以便做出有用的风险预测并提供分析和提醒。同态加密将很快被部署于金融领域，以保护敏感的银行数据。

　　●2027年，数学和密码学领域的重大进展或热门话题将是什么？

数学领域的重大进步将继续作为下一代密码系统的基础。到2027年，我们将拥有至少可以打破低强度传统加密系统的量子计算机。针对长期数据保护，根据最新提出的数学难题，第一波后量子加密系统（post-quantum cryptosystems）正在研发。而随着数学技能和算法的进步，未来10年，我们将看到第二波后量子加密解决方案对当前问题所提出的新建议和斧正。

　　Kathryn S. McKinley

　　微软雷德蒙研究院首席研究员

　　●2017年，编程语言和软件工程领域将有哪些重大进展？

在编程语言研究领域即将出现的最具革命性的转变就是概率编程（probabilistic programming），开发者将制作可预测现实世界并明确推理数据和计算中不确定性的模型。编程语言研究社区正在持续为这样的全新软件世界奠定基础，预计在2017年底将会涌现出全新的、激动人心的应用。

　　●2027年，编程语言和软件工程领域的重大进步或热门话题将是什么？

到2027年，绝大多数软件工程师都可以便捷地使用编程系统，该系统可通过统计的方法来预测并制作模型。这种翻天覆地的变化将提供可无缝集成传感器、机器学习和近似算法的应用，以便通过全新、有意义且正确的方式与人类进行交互。

　　Cecily Morrison

　　微软剑桥研究院研究员

　　●2017年，人本计算（human-centered computing）与无障碍领域将有哪些重大进展？

视觉障碍人士将成为个人代理技术的大规模用户和受益者，而这也将帮助技术人员把此前被外界广为宣传的概念落地成为革命性的技术。

　　●2027年，以人为本计算和无障碍领域的重大进展和热门话题将是什么？

所有儿童，包括残障儿童，都将拥有合适的工具来学习编程。20年之后，这些残障儿童将带来他们对世界的独特体验，从而改变技术格局。

　　Olya Ohrimenko

　　微软剑桥研究院研究员

　　●2017年，安全与隐私领域将有哪些重大进步？

可信硬件将会激发新一类的应用和工具，并把其强大的安全性作为独特的特性来吸引用户和程序员。

　　●2027年，安全与隐私领域的重大进展或热门话题将是什么？