Microsoft Research Blog

Theorem Proof Gains Acclaim 

October 11, 2012
By Rob Knies, Managing Editor, Microsoft Research At 5:46 p.m. on Sept. 20, Georges Gonthier, principal researcher at Microsoft Research Cambridge, sent a brief email to his colleagues at the Microsoft Research-Inria Joint Centre in Paris. It read, in full: “This is really the End.”…

Recent Posts

  1. Theorem Proof Gains Acclaim 

    October 11, 2012

    By Rob Knies, Managing Editor, Microsoft Research At 5:46 p.m. on Sept. 20, Georges Gonthier, principal researcher at Microsoft Research Cambridge, sent a brief email to his colleagues at the Microsoft Research-Inria Joint Centre in Paris. It read, in full: “This is really the End.”…

  2. Efforts to Combat Human Trafficking Honored by White House 

    October 11, 2012

    On Monday, September 24, I got the thrill of a lifetime. I was a guest of the White House at the UN Head of State Reception, where I had the great honor of meeting President Barack Obama and First Lady Michelle Obama. I was also excited…

  3. 2012 Jim Gray Award Honors Antony John Williams 

    October 10, 2012

    It seems like only yesterday that the eScience team at Microsoft Research came up with the idea of recognizing outstanding contributions to the field of data-intensive computing with an award named in memory of Jim Gray. Jim was a man of vision. The breadth and…

  4. Try Try F# 

    October 9, 2012

    We’re happy to announce that the beta release of the new Try F#  has arrived! We’re proud of this new release, and with good reason: Try F# makes programming in F# 3.0 easy to learn, simple to use, and straightforward to share—all through the browser.…

  5. Big Data Blows into the Windy City 

    October 8, 2012

    This week, the annual Microsoft eScience Workshop is being held in Chicago (the “Windy City”), providing an unparalleled opportunity for domain scientists, researchers, and technologists to discuss the benefits and difficulties of incorporating more computing and information technology into the scientific process. Over the years,…

  6. Intuitive UIs Featured During UIST 2012 

    October 8, 2012

    By Janie Chang, Writer, Microsoft Research From Oct. 7 to 10 in Cambridge, Mass., Microsoft researchers attending UIST 2012—the 25th Association for Computing Machinery Symposium on User Interface Software and Technology—will be sharing projects and ideas with an international gathering of scientists and practitioners focused…

  7. Hopper Event: Inspiring Interest in CS 

    October 5, 2012

    By Rob Knies, Managing Editor, Microsoft Research Rane Johnson-Stempson recalls vividly the moment last spring when she first encountered Katie Doran. “I had the opportunity to meet Katie in Seattle during the Graduate Cohort Program of the Computing Research Association’s Committee on the Status of…

  8. In-Place: Interacting with Large Displays 

    October 4, 2012

    Posted by Rob Knies   Computing in the 21st century increasingly is embracing touch interaction. Whether it be on mobile handhelds, large electronic displays, or something in between, such user interfaces are becoming commonplace.Interestingly, researchers from Microsoft Research Redmond are expanding that modern-day model of…

  9. DataUp—Data Curation for the Long Tail of Science 

    October 2, 2012

    The long tail: sure, it’s a well-known concept in business and marketing, but there’s a very important “hidden” long tail in the sciences, too. So, what is this hidden long tail of science? It consists of the millions of datasets that are not stored in…

  10. Coming to Aid of Brain-Tumor Patients 

    October 1, 2012

    By Rob Knies, Managing Editor, Microsoft Research Fourteen to 15 months—that’s the average prognosis for patients with glioblastoma, the most aggressive type of malignant glioma, according to Dr. Patrick Y. Wen, clinical director of the Center for Neuro-Oncology at the Dana-Farber Cancer Institute. “These,” Wen…

  11. Project Greenwich: It’s About Time 

    October 1, 2012

    Posted by Rob Knies At 1 p.m. today, as it has almost every day for the past 179 years, the red time ball at the Royal Observatory Greenwich dropped from its Flamsteed House perch atop the prime meridian and adjacent to the River Thames. In…

Explore More

  • Events & conferences

    Events & conferences 

    Meet our community of researchers, learn about exciting research topics, and grow your network

  • Podcasts

    Podcasts 

    Ongoing conversations at the cutting edge of research

  • Microsoft Research Forum

    Microsoft Research Forum 

    Join us for a continuous exchange of ideas about research in the era of general AI