Algorithms
Developing efficient algorithms that power faster, smarter, and more reliable computing across diverse applications.
프로젝트
Boogie: An Intermediate Verification Language
Boogie is an intermediate verification language, intended as a layer on which to build program verifiers for other languages. Several program verifiers have been built in this way, including the VCC and HAVOC verifiers for…
프로젝트
Multi-Armed Bandits
Inactive This is an umbrella project for several related efforts at Microsoft Research Silicon Valley that address various Multi-Armed Bandit (MAB) formulations motivated by web search and ad placement. The MAB problem is a classical…