News and Awards

The work we do these days on F* is often in service of Project Everest. The goal of Everest is to verify and deploy a drop-in replacement for the HTTPS stack, the protocol using which…

Venkat Padmanabhan received the 2016 Shanti Swarup Bhatnagar Prize (opens in new tab) for Engineering Sciences from the Council of Scientific and Industrial Research India for his pioneering work on indoor localization, smartphone-based sensing and mobile communication.…

Microsoft Research says it is close to perfecting software that can measure tumours accurately in 3D from normal Computerised Tomography (CT) scans. The job of determining the extent of tumours is currently done by hand…

Josh Benaloh received the 2016 Pioneer Award (opens in new tab) in August 2016 from the Electronic Frontier Foundation for his contribution to the “Keys Under Doormats (opens in new tab)” report. The publication argues against requests…

Bill Thies was named a 2016 Fellow (opens in new tab) of the John D. and Catherine T. MacArthur Foundation for his work creating communication and digital technologies to advance the social and economic well-being of…

In the summer of 2015 a team of hackers attempted to take control of an unmanned military helicopter known as Little Bird. The helicopter, which is similar to the piloted version long-favored for U.S. special…

Although individual projects vary widely, Microsoft’s overarching philosophy toward solving cancer focuses on two basic approaches: one is rooted in the idea that cancer and other biological processes are information processing systems, and the other…