Research
Below please find an index of news and awards that recognize Microsoft researchers’ contribution to scientific research and commitment to advancing computer science.
The IEEE Masaru Consumer Electronics award is a Technical Field Award given annually by the IEEE Board of Directors “to recognize outstanding contributions in the field of consumer electronics technology”. Sullivan received this award in…
The Xbox team worked with one of the company’s senior researchers, Ivan Tashev, to “purify” the audio signal and allow our speech-recognition platform to do its job despite the often spacious and noisy characteristics of…
Users are reluctant to use ‘sleep’ features because they break network operations, so Microsoft’s LiteGreen puts machine to sleep without any disruption.
The flaw is noteworthy because many high-profile sites â including Google, Yahoo! and Flickr â use the technology so that once users have logged into one site, they aren’t constantly prompted for passwords.
This MSR NUI Panel with Curtis Wong & Ivan Tashev was recorded live as part of Channel 9 Live at MIX11 on April 13th 2011.
University of Cambridge scientist, Neil Dalchau, and colleagues report sensitivity of the Arabidopsis thaliana circadian oscillator to sucrose, which could be a proof that plant metabolism can regulate the circadian mechanism.
A Facebook security vulnerability discovered by a pair of doctoral students at Indiana University Bloomington’s School of Informatics and Computing that allowed malicious websites to uncover a visitor’s real name, access their private data and…
Neil has made important discoveries that provide invaluable insights into the regulation of the circadian clock in Arabidopsis thaliana using a combination of mathematical modeling and experimental intervention.
For innovation and leadership in organizing, accessing, and interacting with information.
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.