Loading...
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:…

Microsoft Research Blog

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…

Microsoft Research Blog

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…

Microsoft Research Blog

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…

Microsoft Research Blog

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…

Microsoft Research Blog

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…

Microsoft Research Blog

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…

Microsoft Research Blog

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…

Microsoft Research Blog

Attracting More Women and Minorities to Technology Careers: An Intern’s Perspective 

October 3, 2012

As many of you know by now, I am super passionate about how we are going to double the number of women and ethnic minorities in computer science and informatics across the world. As part of my efforts to take…

  • Previous
  • 1
  • …
  • 510
  • 511
  • 512
  • 513
  • 514
  • …
  • 570
  • Next