log in  |  register  |  feedback?  |  help  |  web accessibility
A Quantum Computational Compiler and Design Tool for Technology-Specific Targets
Kaitlin Smith - Southern Methodist University
Wednesday, October 30, 2019, 10:00-11:15 am Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)

Quantum computing, once just a theoretical field, is quickly advancing as physical quantum technology increases in size, capability, and reliability. In order to fully harness the power of a general quantum computer or an application-specific device, compilers and tools must be developed that optimize specifications and map them to a realization on a specific architecture. In this talk, a technique and prototype tool for synthesizing algorithms into a quantum computer is described. A unique aspect of this tool is its incorporation of internal formal equivalence checking that ensures the initially specified algorithm is functionally equivalent to the optimized, technologically-mapped output. 

This talk is organized by Andrea F. Svejda