By Allison Linn, Senior Writer, Microsoft Over the next 25 years, research scientists will use technology to better humanity, to make more sense of the world and to use our time more efficiently. We’ll disrupt some industries and invent others.…
Awards | Computer-Aided Verification (CAV)
Samin Ishtiaq will be receiving the 2016 CAV Award (opens in new tab) for the development of Separation Logic and for demonstrating its applicability in the automated verification of programs that mutate data structures. He is winning this award alongside…
By Kenji Takeda, Solutions Architect and Technical Manager and Arjmand Samuel, Principal Program Manager, Microsoft Research We are in the midst of an invisible revolution, with the promise of ubiquitous and pervasive computing not a dream but a newly emerging reality. The…
In the news | Microsoft Asia News Center
Even before Dr. Hsiao-Wuen Hon first laid hands on a computer in college in 1981, he already imagined a future where systems could answer any question posed by humans.
By Susan Dumais, Distinguished Scientist, Microsoft Research Women are woefully under-represented in computing-related fields. Despite earning more than half of all baccalaureate degrees throughout North America, women make up fewer than 20 percent of graduates in computer and information sciences,…
By Harry Shum, Executive Vice President, Technology and Research, Microsoft Today we launched the Microsoft Research Alumni Network on LinkedIn as part of the 25th Anniversary of Microsoft Research (MSR). The LinkedIn group is dedicated to connecting the thousands of…
By Harold Javid, General Chair, Faculty Summit Microsoft Research’s annual Faculty Summit opened Wednesday with a series of talks about how technological innovation can benefit both business and society. In a fireside chat with Jeannette M. Wing, Microsoft's corporate vice president in…
Awards | EMBRAER/ABCM (Brazilian Association of Mechanical Sciences) Best Master's Dissertation
By Eric Horvitz, Managing Director, Microsoft Research We are excited to once again support the 25th International Joint Conference on Artificial Intelligence (IJCAI), which runs Saturday, July 9, through Friday, July 15, in New York City. IJCAI is a leading…