Microsoft Research Cambridge
新闻与深度文章
新闻报道 | Wired
How to inkjet-print an electronic circuit
Steve Hodges, head of the sensors and devices group at Microsoft Research in Cambridge, wants to make it easy to prototype electronic devices, so he’s found a way to print circuits with an inkjet printer — a technique that could…
新闻报道 | ACM SIGPLAN
The 2015 ACM SIGPLAN Most Influential ICFP Paper Award (shared with Manuel M. T. Chakravarty and Gabriele Keller)
For the 2006 paper, ‘Simple unification-based type inference for GADTs.
When it comes to research, the concept of “head-banging” most likely conjures images of researchers banging their heads against walls or dry-erase boards. But for Microsoft researcher Andrew Fitzgibbon, it’s about inspiration. “I was on a 10-hour flight recently,” he…
新闻报道 | Engineering and Technology
Turing’s morphogenesis theory drives research into self-configuring systems
Today Turing’s idea has become an important starting point for thinking about systems that build themselves from a basic set of parts.
新闻报道 | The Guardian
How wearable cameras can help those with Alzheimer’s
The wearable camera is being touted as the latest must-have accessory for social-media obsessives, but is a real boon for helping people with serious medical conditions recall important events in their lives.
From Grassroots to Government
Simon Peyton Jones’ contributions to computer science continue to be recognized, and now, so is his advocacy for computing education. On June 10, during the 35th annual conference on Programming Language Design and Implementation, hosted by SIGPLAN, the Association for…
新闻报道 | New Scientist
Windows bug-testing software cracks stem cell programs
Software used to keep bugs out of Microsoft Windows programs has begun shedding light on one of the big questions in modern science: how stem cells decide what type of tissue to become. Not only do the results reveal that…
新闻报道 | Microsoft Research Blog
Microsoft Research – Inria Joint Centre: inventing today, tomorrow’s world
Since its founding in 2006, the Microsoft Research — Inria Joint Centre has innovatively applied computer science and mathematics to a host of scientific challenges, from formal methods for mathematics to distributed systems and security, computer vision and medical imaging,…
新闻报道 | Microsoft Research Blog
Partnerships propel computer science
As part of its commitment to basic research, Microsoft invests in creating joint research centers around the world.