Artificial Intelligence
Pursuing computing advances to create intelligent machines that complement human reasoning to augment and enrich our experience and competencies.
Project
Non-transitive Dice
Embracing Uncertainty Scientists have worked for decades to try to create intelligence in computers. Traditional approaches relied on hand-crafted solutions and had limited applicability. New artificial intelligence techniques developed at Microsoft and other institutions around…
Publication
Driving with Knowledge from the Physical World
Video
Automated FPGA Verification and Debugging
Hardware simulations on FPGAs run more than three orders of magnitude faster than software simulations, but with much lower visibility into the circuit under test. To expedite the task of debugging and specification verification, we…
