2004年，我聘请Nachi Nagappan进入微软研究院，在微软雷德蒙研究院带领实证软件工程（Empirical Software Engineering）研究。在5年时间内，Nachi及其同事Brendan Murphy、Jacek Czerwonka、Christian Bird和Thomas Zimmermann通过对产品版本历史、错误数据库和其他数据源的分析，研究了影响软件质量和开发人员生产力的关键问题。

为了将此类分析扩展到整个公司层面，Wolfram Schulte加入团队，并与Nachi、Brendan和Jacek一起创建了CODEMINE，这是一个用于收集和分析微软软件工程开发过程数据的数据分析平台。该项目于2009年前后启动（代号为SWEPT），并于2013年结束，它让我们得以深入了解微软各个产品组的软件工程开发问题。CODEMINE对于一个名为“软件工程师工具”的新团队的形成至关重要，而正是这个团队使公司转向了基于云的软件工程基础设施。

　　>>>>

　　计算机科学教育

此后，微软研究院于2011年启动了Touch Develop项目（），力求实现在智能手机上编写智能手机脚本。Touch Develop出乎人们意料的运用是在K-12计算机科学教育方面——教师们发现，孩子们痴迷于对他们的智能手机编程，使之能够响应环境刺激。

它演变成了一个与BBC合作的项目，旨在创建一款带有易用编程平台（基于Touch Develop）的小型物理计算设备。总计100万台上述设备（名为micro:bit）于2016年交付，足够让英国的五年级学生人手一台。正是由于BBC micro:bit的成功，微软目前正投资开发一个用于计算机科学教育的全新编程平台。

　　用团队影响力解决大问题

今天，我们注意到有些公司正在开发超大型分布式系统。亚马逊、Facebook、谷歌和微软都已建立了这样的系统，并致力优化系统的性能、可靠性、可用性、安全性和隐私性。微软Azure就是一个这样的系统，能够提供计算、存储和网络服务，并且能够与越来越多的移动设备和物联网终端进行交互。

从硬件资产到底层操作系统代码再到面向用户的服务逐级优化，这是成功的关键所在，并为研究人员提供了跨越多个领域的机会，这些领域包括系统、正规方法、软件工程和编程语言等。

下面是RiSE组深入参与其中的四个与云计算相关的大规模新项目：

P语言正在改变着微软程序员承担构建大型异步系统任务的方式。P语言已经用于开发Windows中USB 3.0驱动程序以及微软Azure中的服务。

Everest项目（Project Everest）正在构建一个高性能、符合标准、经过验证的HTTPS完整生态系统实施，上到HTTPS API下至包括RSA和AES等在内的加密算法。

Parade项目（Project Parade）通过将运行时的依赖关系作为符号值来处理，实现了大量看似顺序性应用程序的并行化。这个项目的成果大幅度提升了目前流行的机器学习和大数据算法的性能。

Premonition项目旨在通过创建新技术，自主定位、收集和通过计算手段分析蚊子所携带的血源性病原体，在病原体爆发前检测到它们。

　　你想加入产业研究周期吗？

无论你处于探索阶段还是专注阶段，微软研究院都将带你走上令人兴奋的旅程。如果你有兴趣加入我们的旅程，请访问微软官网的求职页面。

　　英文网址>>https://www.microsoft.com/en-us/research/careers/

　　中文网址>>

　　你也许还想看：

　　科研方法论：

　　感谢你关注“微软研究院AI头条”，我们期待你的留言和投稿，共建交流平台。来稿请寄：[email protected]。

　　微软小冰进驻微软研究院微信啦！快去主页和她聊聊天吧。