Explore research at Microsoft, a site featuring the impact of research along with publications, products, downloads, and research careers.

Normalisation by Evaluation is a technique to efficiently compute the normal form of, possibly open, lambda terms with respect to beta reduction and rewrite rules. It works by compiling terms into ...

1 Band-in-a-Box (opens in new tab) (BIAB) is, to our knowledge, the only commercially-available system for generating chord sequences from melodies. BIAB is primarily a system for generating ...

Get to know Microsoft researchers and engineers around the world who are tackling complex problems across a wide range of disciplines.

About. My name is Wei Chen (陈 卫). I am a Principal Researcher at Microsoft Research Asia (opens in new tab), and the Chair of MSR Asia Theory Center (opens in new tab).I have served as Adjunct or ...

The Internet Graphics Group’s research activities focus mainly on graphics systems, graphics platforms, and game technologies. The group leverages its extensive research expertise to create cutting ...