Birs- 24w5307: Quantum Circuit Design Automation

  1. Title:
    Modalities in Proto-Quipper

    Speaker:

    Link:

  2. Title:
    Minimal entanglement for injecting diagonal gates

    Speaker:

    Link:

  3. Title:
    Efficiency of quantum gate-sets and random t-designs

    Speaker:

    Link:

  4. Title:
    Polynomial-time Classical Simulation of Roetteler’s Shifted Bent Function Algorithm

    Speaker:

    Link:

  5. Title:
    Quantum circuit completeness

    Speaker:

    Link:

  6. Title:
    Breaking the cubic barrier in the Solovay-Kitaev algorithm

    Speaker:

    Link:

  7. Title:
    Efficiently achieving fault-tolerant qudit quantum computation via gate teleportation

    Speaker:

    Link:

  8. Title:
    Verifying Graphical Quantum Calculi in a Proof Assistant

    Speaker:

    Link:

  9. Title:
    Catalytic Embeddings

    Speaker:

    Link:

  10. Title:
    The Munich Quantum Toolkit (MQT) - A Summary of Design Automation Tools and Software for Quantum Computing

    Speaker:

    Link:

  11. Title:
    Improving the Fidelity of CNOT Circuits on NISQ Hardware

    Speaker:

    Link: