Design Automation Tools and Software for Quantum Computing: Inside the Munich Quantum Toolkit
暫譯: 量子計算的設計自動化工具與軟體：慕尼黑量子工具包內幕
Burgholzer, Lukas, Wille, Robert
商品描述
This book provides an easy-to-read introduction to quantum computing and introduces readers to a set of software design tools that leverage the power of design automation for optimizing quantum circuits and applications. The authors describe methods and software for quantum computing that utilize explicitly core data structures (such as decision diagrams) or methods (such as dedicated reasoning engines), while focusing on three major design tasks in quantum software development, namely classical simulation of quantum circuits, compilation of quantum circuits, and verification of quantum circuits. All tools and software solutions discussed in this book are made available as open-source packages and constitute the backbone of the Munich Quantum Toolkit.
商品描述(中文翻譯)
本書提供了一個易於閱讀的量子計算入門，並向讀者介紹一套利用設計自動化的力量來優化量子電路和應用的軟體設計工具。作者描述了利用明確的核心資料結構（如決策圖）或方法（如專用推理引擎）的量子計算方法和軟體，同時專注於量子軟體開發中的三個主要設計任務，即量子電路的經典模擬、量子電路的編譯以及量子電路的驗證。本書中討論的所有工具和軟體解決方案均以開源套件的形式提供，並構成慕尼黑量子工具包的核心。
作者簡介
Lukas Burgholzer works as a research scientist at the Technical University of Munich in the Chair for Design Automation of Robert Wille and as CTO of the Munich Quantum Software Company (MQSC). He received his PhD from JKU Linz, Austria, in 2023 working as part of the Institute for Integrated Circuits as well as the LIT Secure and Correct Systems Lab. His research focuses on design automation tools and software for quantum computing. In these areas, he has published more than 60 papers in international conferences and journals. He is the chief developer of the Munich Quantum Toolkit (MQT) as well as one of the technical leads of the Munich Quantum Software Stack (MQSS) project, which is developed as part of the Munich Quantum Valley (MQV) initiative. For his research, he was awarded the EDAA Outstanding Dissertation Award, the Heinz Zemanek Prize, and more.
Robert Wille is a Full and Distinguished Professor at the Technical University of Munich, CEO of the Munich Quantum Software Company (MQSC), and Scientific Director at the Software Competence Center Hagenberg. He received his Diploma and Dr.-Ing. degrees in Computer Science from the University of Bremen, Germany, in 2006 and 2009, respectively. His academic journey has included positions at the University of Bremen, the German Research Center for Artificial Intelligence (DFKI), the University of Applied Sciences Bremen, the University of Potsdam, and the Technical University Dresden. From 2015 to 2022, he worked as a Full Professor at the Johannes Kepler University Linz before moving to Munich.
His research focuses on the design of circuits and systems for both conventional and emerging technologies. For over 15 years, he has been actively advancing the field of quantum computing--establishing foundational software and design automation concepts. His contributions have earned numerous accolades, including Best Paper Awards, the DAC Under-40 Innovator Award, a Google Research Award, an ERC Consolidator Grant, and more. He collaborates with leading academic and industrial partners and plays a key role in initiatives such as the Munich Quantum Valley. He has published over 400 papers and serves on editorial boards and numerous boards of major journals and conferences. Through his roles in companies, he is also deeply engaged in technology transfer from research to practice.
作者簡介(中文翻譯)
Lukas Burgholzer 目前在慕尼黑工業大學的羅伯特·威爾（Robert Wille）設計自動化研究所擔任研究科學家，並擔任慕尼黑量子軟體公司（Munich Quantum Software Company, MQSC）的首席技術官。他於2023年在奧地利林茨的約翰·開普勒大學（JKU Linz）獲得博士學位，並在集成電路研究所及LIT安全與正確系統實驗室工作。他的研究重點是量子計算的設計自動化工具和軟體。在這些領域，他在國際會議和期刊上發表了超過60篇論文。他是慕尼黑量子工具包（Munich Quantum Toolkit, MQT）的首席開發者，也是慕尼黑量子軟體堆疊（Munich Quantum Software Stack, MQSS）項目的技術負責人之一，該項目是慕尼黑量子谷（Munich Quantum Valley, MQV）倡議的一部分。因其研究，他獲得了EDAA傑出論文獎、海因茲·澤馬內克獎（Heinz Zemanek Prize）等多項榮譽。
羅伯特·威爾（Robert Wille）是慕尼黑工業大學的全職及傑出教授，慕尼黑量子軟體公司（MQSC）的首席執行官，以及哈根堡軟體能力中心的科學主任。他於2006年和2009年分別在德國不來梅大學獲得計算機科學的文憑和博士工程學位。他的學術生涯包括在不來梅大學、德國人工智慧研究中心（DFKI）、不來梅應用科技大學、波茨坦大學和德累斯頓工業大學的職位。從2015年到2022年，他在約翰·開普勒大學林茨擔任全職教授，然後轉至慕尼黑。
他的研究專注於傳統和新興技術的電路和系統設計。超過15年來，他積極推進量子計算領域，建立了基礎的軟體和設計自動化概念。他的貢獻獲得了多項榮譽，包括最佳論文獎、DAC 40歲以下創新者獎、Google研究獎、ERC整合獎助金等。他與領先的學術和工業夥伴合作，並在慕尼黑量子谷等倡議中扮演關鍵角色。他已發表超過400篇論文，並在多個主要期刊和會議的編輯委員會及董事會中任職。透過他在公司的角色，他也積極參與將研究成果轉化為實踐的技術轉移工作。
