Posted by Rob Knies The Microsoft Research Machine Learning Summit 2013 concluded with a plenary panel discussion titled Data Challenges and Opportunities in the Next Decade. Chaired by Jeannette Wing , Microsoft vice president and head of Microsoft Research International, the discussion included...

Posted by Rob Knies The Symposium on Principles of Programming Languages (POPL) is an annual gathering of thought leaders from around the world to discuss all aspects of programming languages and systems, so it is a given that as the 40th instance of the event gets under way in Rome on Jan. 23...

Posted by Andrew Blake, managing director of Microsoft Research Cambridge As ever, at the core of Microsoft Research Cambridge ’s work is participation in academic research across the world. Our publication activity is too prolific to detail, but we regularly hit the top conferences and journals...

Posted by Rob Knies Congratulations to Georges Gonthier , a principal researcher at Microsoft Research Cambridge , for winning the 2011 EADS Foundation Grand Prize in Computer Science. Gonthier, who spends a significant amount of his time collaborating with French researchers from INRIA at the Microsoft...

Posted by Rob Knies Soon after the founding of Microsoft Research Silicon Valley in 2001, its managing director, Roy Levin , began to bring in a series of researchers with extensive backgrounds in security in computing systems. Among those security-focused researchers was Martín Abadi , now...