Research in programming languages and software engineering at Microsoft enables the efficient development, verification and optimization of computer programs and systems. Logical and empirical foundations help to streamline software development, analysis and maintenance, which are increasingly focused on ensuring the availability and integrity of software running in the cloud.
Today’s cloud represents both a real-world lab and proving ground for pioneering research in programming languages and software engineering and an opportunity to impact the rapid evolution of technology that connects billions of people around the world to the infrastructure they use to do more.
Tools, techniques and languages developed by researchers across Microsoft are shared with the global computing community to foster the production of secure, reliable and robust computer programs and systems. This outreach extends to educational platforms and programs to advance the field of programming languages and software engineering.