I Chose STEM – Event Recap
Earlier this week Microsoft Research Montreal celebrated the International Day of Women and Girls in STEM (science, technology, engineering and mathematics) with a one-day symposium: I Chose STEM. More than 200 Canadian STEM students and…
Dynamic Matching in School Choice: Efficient Seat Reassignment after Late Cancellations
As market design theory increasingly shapes the design and operations of real-life marketplaces, it is important for designers to provide simple policy levers that practitioners can use to optimize platform objectives. In the school choice…
Automated Economic Reasoning with Quantifier Elimination
Many theorems in economics can be proven (and hypotheses shown to be false) with available decision algorithms. This paper assembles a few dozen classic examples from economic theory that demonstrate why CAD-based algorithms are practical,…
Learn Artificial Intelligence Skills via Residency at Microsoft
Harness Machine Learning to Improve People’s Lives At Microsoft, we are committed to leveraging the power of Artificial Intelligence (AI) to benefit people and greater society. Advances in AI can be applied to address some…
Incentive Auctions and Spectrum Repacking: A Case Study for “Deep Optimization”
Over 13 months in 2016–17 the US Federal Communications Commission conducted an “incentive auction” to repurpose radio spectrum from broadcast television to wireless internet. In the end, the auction yielded $19.8 billion USD, $10.05 billion…