In the news | Franzis Kuskiefer Blog
HACL* (High-Assurance Cryptographic Library) is a formally verified cryptographic library in F*, developed by the Prosecco team at INRIA Paris in collaboration with Microsoft Research, as part of Project Everest. HACL* was inspired by discussions at the HACS workshop and…
In the news | Microsoft Azure
Microsoft has provided 17 cloud credit awards to Principal Investigators who benefit from NSF supported programs, which already seeing some interesting breakthroughs across the human body, microbial diseases, and even everyday communication.
| Anne Loomis Thompson
Halfway through college, I had an identity crisis. Spring was in the air in Hanover, New Hampshire, and my classmates were gearing up for Dartmouth's famed Sophomore Summer term. Most of them would spend much of this term tubing down…
| Tobias Schnabel, Paul Bennett, and Susan Dumais
Humans play an indispensable role in many modern AI-enabled services – not just as consumers of the service, but as the actual intelligence behind the artificial intelligence. From news portals to e-commerce websites, it is people’s ratings, clicks, and other…
In the news | LinkedIn
There is a Chinese proverb that says “见文如见人,” which literally means “reading the document is the same as seeing the author.” If we are what we write, then who have we, as a society, become? I was sitting in a technical review…
| Kuansan Wang
At the ACM Conference on Web Search and Data Mining 2018, my team will introduce research that, for the first time, provides a theoretical explanation of popular methods used to automatically map the structure and characteristics of networks, known as…
Episode 11, February 7, 2018 - Big data is a big deal, and if you follow the popular technical press, you’ll have heard all the metaphors: data is the new oil, the new bacon, the new currency, the new electricity.…
Beijing, Jan 31, 2018, Pearson and Microsoft Research Asia (MSRA) jointly announced that they have signed a three-year strategic partnership agreement after successfully launching Longman English+, an English language learning application last year.
The Microsoft Academic Graph that powers Microsoft Academic is updated on a weekly basis to ensure data coverage and accuracy. You can always see the current numbers on our homepage, and we document them on the blog once a month.…