Posted by Rob Knies

Inside Microsoft Research

Each year, the Association for Computing Machinery (ACM) recognizes several of its members for their contributions to computing by naming them as Fellows. Today, 46 ACM members have been named as Fellows—and six of them are from Microsoft Research, representing four different labs worldwide.

The press release for the announcement states that Microsoft Research’s new ACM Fellows have been recognized for achievements in software analysis, computer graphics, reasoning and decision-making, network control, and distributed computing.

Microsoft Research’s latest ACM Fellows:

• Tom Ball, research manager and principal researcher, Microsoft Research Redmond: Ball works on software-engineering research, with interests in how combinations of static/dynamic program analysis, model checking, and theorem-proving techniques can help improve program correctness and reliability.
• Baining Guo, assistant managing director, Microsoft Research Asia: Guo also serves as head of the Internet Graphics group for the Asia lab. He has published extensively in computer graphics and visualization in the areas of texture and reflectance modeling, texture mapping, translucent surface appearance, real-time rendering, and geometry modeling.
• David Heckerman, Microsoft distinguished scientist and senior director of Microsoft Research ConnectionseScience group: Heckerman’s recent work has concentrated on using graphical models for data analysis and visualization in biology and medicine with a special focus on the design of HIV vaccines and genomewide association studies.
• Hugues Hoppe, principal researcher, Microsoft Research Redmond: Hoppe manages the Redmond-based Graphics Group, which explores new graphics representations and algorithms that take advantage of existing and upcoming hardware features to heighten the quality of real-time computer graphics.
• Peter Key, principal researcher, Microsoft Research Cambridge: Key heads the Networks, Economics, and Algorithms team, which performs research in the areas that lie at the intersection of computer science, economics, and mathematics.
• Dahlia Malkhi, principal researcher, Microsoft Research Silicon Valley: Malkhi has worked on algorithmic aspects of distributed computing and reliability since the early ’90s. Her current focus is on CORFU, a cluster of network-attached flash exposed as a global shared log.

In addition, two Microsoft Research individuals have been named ACM Distinguished Members:

• Jie Liu, research manager and principal researcher, Microsoft Research Redmond: Liu leads the Sensing and Energy Research Group, which conducts fundamental and systems research on sensing and energy-efficient computing. His research interests lie in understanding and managing the physical properties of computing.
• Ben Zorn, principal researcher, Microsoft Research Redmond: Zorn heads the Software Design and Implementation Group, part of the Research in Software Engineering group. His interests include programming-language design and implementation, and performance measurement and analysis.

Congratulations to all!