Research
Below please find an index of news and awards that recognize Microsoft researchers’ contribution to scientific research and commitment to advancing computer science.
For contributions to software model checking, specifically the development of the SLAM/SDV software model checker that successfully demonstrated computer-aided verification techniques on real programs.
Simon Peyton Jones and Simon Marlow receive the SIGPLAN Software Award as the authors of the Glasgow Haskell Compiler (GHC), which is the preeminent lazy functional programming system for industry, teaching, and research.
The Distinguished Members Grade recognizes those ACM members with at least 15 years of professional experience and 5 years of Professional Membership in the last 10 years who have achieved significant accomplishments or have made…
Ranveer Chandra made the Microsoft campus in Redmond, WA, his laboratory for the first large-scale network to demonstrate the potential of using white spaces to deliver broadband wireless.
Imagine simply tapping the back of your hand or forearm to control your smartphone: that’s the kind of capability offered by Skinput, the marvellously named brainwave from Microsoft Research.
The Personal Assistant for Scheduling system, a disembodied head floating on a computer screen outside Horvitz’s office in Redmond, Wash., is one of the most advanced artificial intelligence programs in the world.
Consumer electronics companies got an early Christmas present this year when the Federal Communications Commission (FCC) decided to grant unlicensed smart phones, computers and other wireless devices approval to connect to the Internet via vacant…
Some computer security experts are advancing the heretical thought that passwords might not need to be ‘strong,’ or changed constantly.
A handful of universities and research labs are working on simple changes to Wi-Fi technology that they say would result in your mobile phone battery lasting two to five times as long as it does…