By George Thomas Jr., Writer, Microsoft Software verification — the crucial process of assuring programs perform as expected — may not be top of mind for most of us. But considering its role in the development of just about anything based on software — which…
Posted by Rob Knies It’s a mouthful. The citation for the A.M. Turing Award presented to Butler Lampson 22 years ago reads as follows: For contributions to the development of distributed, personal computing environments and the technology for their implementation: workstations, networks, operating systems, programming…
Today, October 29, 2013, the Microsoft Research Connections Computer Science Group—in conjunction with the Research in Software Engineering Group (RiSE), the Sensing and Energy Research Group, and Global Foundation Services—is officially issuing the request for proposals for the Software Engineering Innovation Foundation (SEIF) 2014 awards.…
The Microsoft Research Faculty Summit 2013—the fourteenth edition of this annual event—is now history, but I’m still catching my breath after two days of meeting and sharing ideas with some of the world’s foremost computer scientists. In attendance were more than 400 representatives of academic…
Computing has changed the world—from online shopping, to social media, to big data analyses of, well, just about everything. The rate of computing-driven change continues unabated, and we find ourselves wondering: what are the hot trends and burning issues in computer science research today? On…
Today, research in software engineering encompasses a wide range of computer science and engineering disciplines. These include systems and networking technologies, hardware design, programming languages, security, and privacy, to name a few. Microsoft Research actively engages with researchers across these disciplines to advance the state…
Twenty years; two decades; a fifth of a century—we can phrase it several ways, but what does it mean? To a person, it’s the onset of adulthood (or maybe the point marking only 10 more years of living in Mom and Dad’s basement); to a…
February is a time when many of us seek ways to improve and change for the better while refining elements that already work. The spirit of evolution doesn't have to stop at the individual level, however. I'm pleased to announce that, starting today, our organization…
By Janie Chang, Writer, Microsoft Research At Microsoft Research, there are computer scientists and mathematicians who live in a world of theory and abstractions. Then there is Nachi Nagappan, who was on loan to the Windows development group for a year while building a triage…
