Video
Our intern experience at Microsoft Research Cambridge
Find out what it’s like to be an intern at the Microsoft Research lab in Cambridge, UK. Find out more and apply at: https://aka.ms/MSRCambridgeIntern
Mathematics
Video
Working at Microsoft Research Cambridge
Here at Microsoft Research in Cambridge, we truly aspire to transform the world through deep research. Watch the video to find out more about our culture, ambition and research themes. Find out more at: https://aka.ms/MSRCambridge
Microsoft Research Blog
The inner magic behind the Z3 theorem prover
It’s not uncommon for us to hear that the Z3 theorem prover is magical, but the frequency of such complimentary feedback doesn’t make it any less unexpected—or humbling. When we began work on Z3 in…
Video
Fireside Chat with Stefanie Jegelka
Stefanie Jegelka is an X-Window Consortium Career Development Associate Professor in the Department of EECS at MIT. She is a member of the Computer Science and AI Lab (CSAIL), and an affiliate of IDSS and…
Video
A Short Introduction to DIMACS & DIMACS and MSR-NYC
A Short Introduction to DIMACS, Fred Roberts, DIMACS Fred Roberts gives an overview of the DIMACS center founded in 1989, after a nationwide competition, as an NSF Science and Technology Center (STC) with the theme…
Video
The Future of Mathematics?
As a professor of pure mathematics, my job involves teaching, research, and outreach. Two years ago I got interested in formal methods, and I learned how to use the Lean theorem prover developed at MSR.…
Video
Dashboard Mechanisms for Online Marketplaces
We present a theoretical model for design and analysis of mechanisms for online marketplaces where a bidding dashboard enables the bid-optimization of long-lived agents. We assume that a good allocation algorithm exists when given the…
