Einführung in die Entwurfsautomatisierung für Quantencomputer

Einführung.- Quantencomputer.- Entwurfsautomatisierungsmethoden für konventionelle Systeme.- Überblick über die Quantenschaltungssimulation.- Entscheidungsdiagramm-basierte Simulation.- Kombinierte Operationen in der DD-basierten Simulation.- Effiziente Implementierung der vorgeschlagenen DDs.- Genauigkeit und Kompaktheit der vorgeschlagenen DDs.- Entwurf boolescher Komponenten für Quantenschaltungen.- Funktionale Synthese.- Entwurfsablauf in einem Durchgang.- Abbildung von Quantenschaltungen auf NISQ-Bauelemente.- Minimale und nahezu minimale Ansätze.- Heuristischer Ansatz.- Ein spezieller heuristischer Ansatz für SU(4)-Quantenschaltungen.- Fazit.

Alwin Zulehner erhielt seinen MSc-Abschluss und sein PhD in Informatik von der Johannes Kepler Universität Linz, Österreich, im Jahr 2015 bzw. 2019. Seine Forschungsinteressen umfassen die Entwurfsautomatisierung für Quantencomputer. In diesem Bereich hat er mehrere Beiträge auf internationalen Konferenzen und in Fachzeitschriften veröffentlicht, darunter die IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), die Asia and South Pacific Design Automation Conference (ASP-DAC), die Design, Automation and Test in Europe (DATE) Konferenz, die Design Automation Conference (DAC) und die International Conference on Computer-Aided Design (ICCAD). Für seine Arbeit wurde er mit dem Best Student Award ausgezeichnet und gewann die IBM Qiskit Challenge für die Entwicklung eines Quantencompiler-Ansatzes.

 Robert Wille ist ordentlicher Professor an der Johannes Kepler Universität Linz, Österreich. Er erhielt 2006 bzw. 2009 den Diplom- und Dr.-Ing.-Titel in Informatik von der Universität Bremen, Deutschland. Seitdem arbeitete er an der Universität Bremen, am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI), an der Hochschule Bremen, an der Universität Potsdam und an der Technischen Universität Dresden. Seit 2015 ist er in Linz tätig. Seine Forschungsinteressen liegen im Entwurf von Schaltungen und Systemen sowohl für konventionelle als auch für neue Technologien. In diesen Bereichen hat er mehr als 300 Beiträge in Fachzeitschriften und auf Konferenzen veröffentlicht und war in Redaktionsausschüssen und Programmkomitees zahlreicher Fachzeitschriften/Konferenzen tätig. Für seine Forschung wurde er u.a. mit Best Paper Awards, einem Under-40 Innovator Award und einem Google Research Award ausgezeichnet.