News and Awards
Below please find an index of news and awards that recognize Microsoft researchers’ contribution to scientific research and commitment to advancing computer science.
Microsoft Open-Sources Its SEAL Encryption Technology Allowing Computations on Encrypted Data
Microsoft has released its easy-to-use Simple Encrypted Arithmetic Library (SEAL) for free use, and financial institutions are among the types of companies that can benefit most from this type of security.
Lake Nona Impact Forum Dr. Weinstein
At the 2019 Lake Nona Impact Forum, Dr. Jim Weinstein, MS, DO discusses how to bring innovation into various communities differently, to execute against the communities’ needs. And the implications of inequities that must be…
How eavesdropping on elephants is keeping them safe
Conserving endangered wildlife is an expensive, time consuming job, but new technology may make protecting animals, and catching the poachers who threaten them, easier. This article discusses how PAWS (Protection Assistant for Wildlife Security) AI…
Building a verifiably-secure internet
In security, almost nothing is guaranteed. It’s impossible to test the infinite ways a criminal hacker may penetrate a proverbial firewall. But what if, by the laws of mathematics, something could be proven to be…
What is edge computing, and why does it matter to you?
The intelligent edge represents those devices from factory floor equipment to fitness trackers or smartphones and more that connect to the cloud but are closest to and directly interacted with by users.
Creating better AI partners: A case for backward compatibility
Traditional metrics on performance of the AI component are not sufficient when the AI technology is used by people to accomplish tasks.
Generating C code that people actually want to use
Project Everest is a large, collaborative research effort that aims to verify and deploy a new, secure HTTPS stack. All of our code is verified using the F* programming language. Using KreMLin, a dedicated compiler,…
Microsoft acquires Citus Data
Microsoft today announced that it has acquired Citus Data, a company that focused on making PostgreSQL databases faster and more scalable. Citus’ open-source PostgreSQL extension essentially turns the application into a distributed database and, while…