A fully formal proof, checked with the Coq proof assistant, was announced in September 2012 by Georges Gonthier and fellow researchers at Microsoft Research and INRIA.
The 4D Cities project, developed by Dellaert and Grant Schindler with help from Sing Bing Kang of Microsoft Research, provides a way to look at a 3D model of a city over time.
Group Shot is a photo combining program developed by Microsoft Research.
Developed by Microsoft Research's Interactive Visual Media group, HD View uses current graphics hardware to provide smooth panning and zooming of images and to handle the transformation of a panoramic image back into the appearance of a natural 3D illusion.
The Israel R&D Center is situated in two main locations - in Herzliya, heartland of Israel's high tech industry, and in Matam, Haifa, home to many graduates of the Technion, Israel's leading technology university.
The Royal Society Milner Award, supported by Microsoft Research, is given for outstanding achievement in computer science by a European researcher.
The SLAM project, which was started by Microsoft Research, aimed at verifying some software safety properties using model checking techniques.
Microsoft | Microsoft Windows | United States National Research Council | National Research Council | Microsoft Office | Commonwealth Scientific and Industrial Research Organisation | research | Microsoft Word | Agricultural Research Service | Microsoft Exchange Server | Office of Naval Research | St. Jude Children's Research Hospital | Microsoft SQL Server | Microsoft Excel | Cancer Research UK | Medical Research Council (UK) | Medical Research Council | Microsoft Outlook | Getty Research Institute | Research Triangle Park | Microsoft Visual Studio | Industrial Research Institute | Australian Research Council | National Center for Atmospheric Research | Microsoft PowerPoint | Langley Research Center | Social Science Research Council | research and development | Research | Nielsen Media Research |
The Library's principal support comes from the Library of Congress, National Science Foundation, the Institute of Museum and Library Services, and Microsoft Research.
Project Tuva is an enhanced video player platform released by Microsoft Research to host the Messenger Lectures series titled The Character of Physical Law given at Cornell University by Richard Feynman in 1964 and recorded by the BBC.
The Microsoft Research - University of Trento Centre for Computational and Systems Biology (COSBI) is a non profit research center located in Trentino, Italy.
Jonathan Grudin, a Principal Researcher at Microsoft Research in HCI.
This ran from 1984 until 1998 under the leadership of Andrew Herbert (now MD of Microsoft Research in Cambridge), and involved a number of major computing and telecommunication companies.