9:00AM–9:30AM

Quantum Computing: A Short Tutorial

Speaker: Krysta Svore, Microsoft Research QuArC

Bio:

Krysta Svore is a Researcher in the Quantum Architectures and Computation Group (QuArC) at Microsoft Research in Redmond, WA. She is passionate about quantum computation and determining what problems can be better solved on a quantum computer. Her research focuses on quantum algorithms and how to implement them on a quantum device, from how to code them in a high-level programming language, to how to optimize the resources they require, to how to implement them on quantum hardware. Her team works on designing a scalable, fault-tolerant software architecture for translating a high-level quantum program into a low-level, device-specific quantum implementation. Dr. Svore received her Ph.D. with Honors in Computer Science from Columbia University in 2006 under Dr. Alfred Aho and Dr. Joseph Traub. She was a visiting researcher at MIT under Dr. Isaac Chuang, at Caltech under Dr. John Preskill, and at IBM Research under Dr. David DiVincenzo and Dr. Barbara Terhal.

9:30AM–10:00AM

LIQUi|: Language-Integrated Quantum Operations short tutorial

Speaker: Dave Wecker

LIQUi| (pronounced “liquid”) is a software architecture and toolsuite for quantum computing. It is currently being developed and will include programming languages, optimization and scheduling algorithms, and quantum simulators. Ultimately, LIQUi| will be used to translate a quantum algorithm written in the form of a high-level program into the low-level machine instructions for a quantum device.

Bio:

Dave Wecker came to Microsoft in 1995 and helped create the “Blender” (digital video post-production facility). He designed and started implementing a Broadband MSN offering when he was asked to join the new CE group where he was architect for the Handheld PC v1 & v2 as well as AutoPC v1 and Pocket PC v1 (he was also development manager). He moved to Intelligent Interface Technology and resurrected SHRDLU for Natural Language research as well as building a state of the art Neural Network based Speech Recognition system. He was then asked to come back to CE to manage Synch and Wireless efforts. He worked on next gen technologies for the Mobile Devices Division before moving to e-books where he implemented secure DRM on Pocket PCs (the “black-box”). He created and was director of ePeriodicals before taking on the role of Architect for Emerging Technologies. In this role he had many responsibilities including getting the GM/MSFT relationship off the ground. He worked for the Mobile Platforms Division as an architect and then transferred to Machine Learning Incubation. As architect of the Parallel Computing Technology Strategy team he solved several Big Data problems and now is focusing on Quantum Computing. He has over 20 patents for Microsoft and 9 Ship-It awards. He started coding professionally in 1973, worked in the AI labs at CMU while obtaining a BSEE and MSIA and was at DEC for 13 years (ask him about DIDDLY sometime ;).