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.
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…
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…
