| Meredith Ringel Morris
Microsoft is committed to pushing the boundaries of technology to improve and positively influence all parts of society. Recent advances in deep learning and related AI techniques have resulted in significant strides in automated image captioning. However, current image captioning…
Episode 59, January 16, 2019 - Dr. Bennett brings us up to speed on the science of contextually intelligent assistants, explains how what we think our machines can do actually shapes what we expect them to do, and shares how…
In the news | Nature Electronics
Edge computing processes data on infrastructure that is located close to the point of data creation. Mahadev Satyanarayanan recounts how recognition of the potential limitations of centralized, cloud-based processing led to this new approach to computing.
In the news | Microsoft News Center
DEERFIELD, Ill., and REDMOND, Wash. — Jan. 15, 2019 — Walgreens Boots Alliance Inc. (WBA) and Microsoft Corp. have joined forces to develop new health care delivery models, technology and retail innovations to advance and improve the future of health…
| Andy Gordon and Simon Peyton Jones
Spreadsheets are the world’s most widely used programming language, by several orders of magnitude. We asked ourselves whether it would be possible to apply programming language research ideas to make spreadsheets a better programming language? If we could, that would…
Project Everest is a multiyear collaborative effort focused on building a verified, secure communications stack designed to improve the security of HTTPS, a key internet safeguard. This post, about the verification tools and techniques the Everest team is using and…
In the news | IT Toolbox
Microsoft's SEAL was unveiled in 2015 and was written in standard C++ programming language, working on Windows, Linux and OS X. It incorporates both the Brakerski/Fan-Vercauteren (BFV) and the Cheon-Kim-Kim-Song (CKKS) encryption schemes.
Episode 58, January 9, 2019 - Dr. Protzenko talks about what’s wrong with software (and why it’s vitally important to get it right), explains why there are so many programming languages (and tells us about a few he’s been working…