Event 5 - Quantum Computing and Design Automation: Challenges and Opportunities (December 11, 2020) 9AM-10:40AM Eastern Time (USA and Canada) 15PM-16:40PM CET 22:00PM-23:40PM Singapore Zoom Meeting Link
Please email hosts for meeting password:
Yiran Chen or
For more meeting information:
The capacity of Zoom meeting room is 300. Please be on time!
Anupam currently heads a team of 20+ researchers, overseeing projects in the area of computer architectures, security, design automation and emerging technologies. His research advances has been reported in more than 100 conference/journal papers (ACM/IEEE/Springer), multiple research monographs and edited books (CRC, Springer) and open-access forums. Together with his doctoral students, Anupam proposed novel research directions like, domain-specific high-level synthesis for cryptography, high-level reliability estimation flows for embedded processors, generalisation of classic linear algebra kernels and multi-layered coarse-grained reconfigurable architecture. Anupam’s research in the area of emerging technologies has been covered by major news outlets across the world, including Asian Scientist, Straits Times and The Economist.
General introduction on quantum computing
Quantum computation is a novel computational paradigm that is provably different from classical computers. I will briefly introduce the ideas behind their operation and the main types of quantum computers today, and then as a specific example I will discuss in somewhat more detail the quantum computers
based on superconducting Transmon qubits in use at IBM, Google, Rigetti, and many other commercial and academic quantum computing organizations.
Oliver Dial is the technical lead for quantum hardware in IBM Quantum, with a research focus on novel and high performance multi-qubit systems. At IBM he has worked on qubit coherence and gates in both 2D and 3D Transmon systems. He joined IBM in 2012 having first entered the field of quantum computing as a post-doc at Harvard by demonstrating the first two-qubit gate between semiconductor singlet-triplet qubits and providing benchmark charge noise data for these systems. Dr. Dial received his PhD from MIT in 2007 for research in two-dimensional electron and hole systems.
Compilers for NISQ computers
We live in the era of NISQ : noisy intermediate-scale quantum computers. These computers are not like the quantum computers you read about in Nielsen and Chuang. They have many limitations and pose many obstacles to the quantum programmer. I’ll discuss some of these difficulties and how a compiler — specifically tket from Cambridge Quantum Computing — can help overcome these problems.
Ross Duncan is the head of Quantum Software at Cambridge Quantum Computing Ltd and a permanent Research Fellow at the University of Strathclyde. He obtained his Doctorate from Oxford University in 2006 for his thesis “Types for Quantum Computation”. Since then he has held positions as an EPSRC Postdoctoral Research Fellow at the University of Oxford, Chargé de Recherche at the Univeristé Libre de Bruxelles, and Lecturer of Computer Science at the University of Strathclyde. His research focusses on the foundations of quantum computing and in particular on the use of category theory and diagrammatic calculi to better understand the structure of quantum states and programs; he is the co-inventor (with Bob Coecke) of the ZX-calculus and has applied this to reason about quantum circuits, measurement-based quantum computation, and quantum error correcting codes. Since joining CQC in 2018 he has focussed on the development of t|ket>, a platform independent optimising compiler and software development framework for near-term quantum computers.
Structured Architecting and Benchmarking of Quantum Computers in the NISQ Era
Quantum computing is now in the so-called NISQ (Noisy Intermediate-Scale Quantum) era, in which quantum processors with a limited number of qubits and imperfect behaviour are capable to execute relatively small quantum algorithms. In order to leverage the computational power of such resource-constrained and error-prone devices, not only efficient compilation techniques are required but also optimal full-stacks need to be developed. In this talk, I will provide an overview on the compilation of quantum algorithms on NISQ devices. I will also discuss how the use of structured design space exploration methodologies could help towards the development of a cross-layer co-design framework for full-stack quantum systems that will allow for a top-bottom, bottom-up optimizations across layers and the benchmarking of quantum computers.
Carmen G. Almudever
QuTech, Delft University of Technology
Carmen G. Almudever is a group leader at the Quantum Computing Division of QuTech at Delft University of Technology. She is one of the PIs of the Intel-Qutech collaboration and a co-PI of an Open Technology Program project. Her research focuses on different aspects of the quantum computing full-stack including quantum programming languages and compilers, mapping of quantum algorithms, benchmarking of quantum computers, quantum error correction and fault-tolerant quantum computation.
Design Automation for Quantum Computing
In order to develop proper (quantum) algorithms, dedicated design flows and tools are required. In the conventional realm, corresponding solutions are standard in the meantime. In the quantum realm, however, developments are at the beginning (although great accomplishments have been made in the recent years). In this talk, we review how methods for design automation can help in this regard. More precisely, we show how certain data-structures and procedures that are established in conventional design automation can be used to improve the simulation and verification of quantum algorithms.
Robert Wille is Full Professor at the Johannes Kepler University Linz, Austria, and Chief Scientific Officer at the Software Competence Center Hagenberg, Austria. He received the Diploma and Dr.-Ing. degrees in Computer Science from the University of Bremen, Germany, in 2006 and 2009, respectively. Since then, he worked at the University of Bremen, the German Research Center for Artificial Intelligence (DFKI), the University of Applied Science of Bremen, the University of Potsdam, and the Technical University Dresden. Since 2015, he is working in Linz/Hagenberg. His research interests are in the design of circuits and systems for both conventional and emerging technologies. In these areas, he published more than 300 papers in journals and conferences and served in editorial boards and program committees of numerous journals/conferences. For his research, he is frequently awarded, e.g., with a Best Paper Award at ICCAD, a DAC Under-40 Innovator Award, a Google Research Award, and more.