Mathematics
Video
Microsoft Research India – who we are.
Employees from Microsoft Research India talk about their work, their aspirations to change the world and what makes MSR India such a great place to work in.
Microsoft Research Blog
Research Focus: Week of April 24, 2023
Welcome to Research Focus, a series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. Yael Tauman Kalai, a senior principal researcher at…
Project
Lean
Lean is a functional programming language and interactive theorem prover. Our project strives to revolutionize mathematics by empowering anyone with an interest to grow in the field using Lean as their assistant. Lean was developed…