Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
项目
User Experience with Big Data
BigDataUX explores what technologies will make it easier for users—for data scientists, business intelligence analysts, or anyone with a dataset—to clean, process, and interact with big datasets.
视频
Bringing Theories to Life: Computer Science at Microsoft Research
The future of computer science lies neither in stability or change, but in the interplay between them. Both in terms of theory and in the software that brings the theories to life, there is a…
