Chair for Design Automation
The Chair for Design Automation covers the development of design methods for various application areas. Our work focuses on the design and simulation of circuits and systems for conventional and future technologies (such as quantum computing, microfluidics, or field-coupled nanocomputing). Besides that, we have proven to successfully apply the methods developed by us in complementary research areas. For students, we offer graduate and undergraduate courses and supervise Bachelor as well as Master theses. We believe in research-oriented learning and are trying to make our developments available as opensource whenever possible.
Announcements
Munich Quantum Software Forum:
On October 24 – 25, 2024, we bring the “who’s who” in quantum computing software together. Read more about the event!
News
-
Sep 27, 2024: Claudia Dünzinger successfully completed the Bachelor thesis entitled “Ordering of Decision Diagrams for Quantum Simulation without Reordering”. Congratulations!
-
Sep 27, 2024: Tianyi Wang successfully completed the Master thesis entitled “How to Unleash Docker’s Potential for Real-Time Software”. Congratulations!
-
Sep 23, 2024: Yannick Stade, Lukas Burgholzer, and Nils Quetschlich visit Xanadu to discuss quantum compilers and their integration in software stacks.
-
Sep 23, 2024: Shigeru Yamashita from Ritsumeikan University visits us and gives a talk on “Quantum Boolean Circuit Design with Relative Phase Toffolis”.
-
Sep 15-20, 2024: Our works on
- “An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures”,
- “Towards Equivalence Checking of Classical Circuits Using Quantum Computing”,
- “Utilizing Resource Estimation for the Development of Quantum Computing Applications”,
- “Using Compiler Frameworks for the Evaluation of Hardware Design Choices in Trapped-Ion Quantum Computers”,
- “A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem”, and
- “Hamiltonian-based Quantum Reinforcement Learning for Neural Combinatorial Optimization”
are presented at the IEEE International Conference on Quantum Computing and Engineering (QCE). Besides that, we are
- hosting tutorials on
- “Building Efficient Software Stacks for Quantum Computers: Experiences from the Munich Quantum Software Stack” and
- “Qubits, Qudits, and Beyond: Exploring the Potential of Mixed-Dimensional Quantum Computing”,
- giving talks and being on panels in the workshops on
- “Quantum error correction, towards modular quantum architecture”,
- “Quantum Software 2.0: Enabling Large-scale and Performant Quantum Computing”, and
- “Dependability Challenges in Hybrid Classical-Quantum Computing Systems”,
- and present the following works as posters:
- “Compiler Development for Neutral Atom Quantum Computers”
- “QDMI – Quantum Device Management Interface: Hardware-Software Interface for the MQSS”
- “HamilToniQ: An Open-Source Benchmark Toolkit for Quantum Computers”
- “Towards a Machine Learning-Based Figure of Merit for Quantum Circuit Compilation”
-
Sep 11-12, 2024: Our works on
- “Compiler Development for Neutral Atom Quantum Computers”, and
- “Towards a Cross-Compilation Strategy for Neutral Atoms Using Graph-like ZX-Diagrams”
are presented at the International Workshop on Quantum Compilation (IWQC). Besides that, Robert Wille gives a keynote on “Some Thoughts on Quantum Compilation”. Finally, our work on “Automated Synthesis of Fault Tolerant State Preparation Circuits for Quantum Error Correction Codes” is presented as a poster.
-
Sep 10, 2024: Lukas Burgholzer gives a keynote on “The Munich Quantum Toolkit: Design Automation Tools and Software for Quantum Computing” at the Thinq Qrisp Community Kick-Off in Berlin.
-
Sep 08-11, 2024: Our work on “Comparing Lazy Constraint Selection Strategies in Train Routing with Moving Block Control” is presented at the Conference on Computer Science and Intelligence Systems (FedCSIS).
-
Sep 05-06, 2024: Our work on “Towards an Optimization Pipeline for the Design of Train Control Systems with Hybrid Train Detection” is presented at the Symposium on Algorithmic Approaches for Transportation Modeling, Optimization and Systems (ATMOS).
-
Aug 04-17, 2024: Tom Peham, Ludwig Schmid, and Lucas Berent participate in the Fault-Tolerant Quantum Technologies conference at the Centro de Ciencias de Benasque Pedro Pascual.
-
Jul 22, 2024: Nils Quetschlich visits the Simon Fraser University (SFU) and presents the Munich Quantum Toolkit.
-
Jul 19, 2024: Our work on “Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware” is presented at the International Conference on Quantum Physics and Logic (QPL).
-
Jul 17, 2024: Kevin Mato has been awarded the Best Poster Award at the US Quantum Information Summer School 2024.
-
Jul 14, 2024: Kevin Mato participates in the renowned US Quantum Information Summer School and presents the latest results on “MQT Qudits”.
-
Jul 11, 2024: Marcel Walter has been awarded the Best Presentation Award at the IEEE International Conference on Nanotechnology (IEEE NANO). Congratulations!
-
Jul 9, 2024: Aaron Sander has been awarded the Best Student Paper Award at the IEEE International Conference on Quantum Software (QSW) for his paper “Stripping Quantum Decision Diagrams of their Identity”. Congratulations! Read the paper here.
-
Jul 08-11, 2024: Our works on
- “On-the-fly Defect-Aware Design of Circuits based on Silicon Dangling Bond Logic”,
- “Unifying Figures of Merit: A Versatile Cost Function for Silicon Dangling Bond Logic”,
- “Unlocking Flexible Silicon Dangling Bond Logic Designs on Alternative Silicon Orientations”,
- “A* is Born: Efficient and Scalable Physical Design for Field-coupled Nanocomputing”,
- “Reducing Wire Crossings in Field-Coupled Nanotechnologies”,
- “Technology Mapping for Beyond-CMOS Circuitry with Unconventional Cost Functions”,
- “Ending the Tyranny of the Clock: SAT-based Clock Number Assignment for Field-coupled Nanotechnologies”, and
- “The Munich Nanotech Toolkit (MNT)"
are presented at the IEEE International Conference on Nanotechnology (IEEE NANO). Furthermore, we host the special session “Field-coupled Nanocomputing” at this conference.
-
Jul 08, 2024: Simone Domenici successfully completed the Bachelor thesis entitled “Depth-Optimal Synthesis of Graph State Preparation Circuits”. Congratulations!
-
Jul 07-09, 2024: Our works on
- “The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing”,
- “Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers”,
- “Towards Application-Aware Quantum Circuit Compilation”, and
- “Stripping Quantum Decision Diagrams of their Identity”
are presented at the IEEE International Conference on Quantum Software (IEEE QSW).
-
Jul 03, 2024: Our works on
- “Technology Mapping for Cryogenic CMOS Circuits”
- “Automatic Validation and Design of Microfluidic Devices Following the ISO 22916 Standard”
are presented at the IEEE Computer Society Annual Symposium on VLSI (ISVLSI).
-
Jul 01, 2024: Kevin Mato has been awarded a Unitary Fund grant for the outstanding project “MQT Qudits”.
-
Jun 26, 2024: Lukas Burgholzer receives the 2024 ACM SIGDA Outstanding PhD Dissertation Award for his dissertation “Design Automation Tools and Software for Quantum Computing”. Congratulations!
-
Jun 23-27, 2024: Our works on
- “Mixed-Dimensional Qudit State Preparation Using Edge-Weighted Decision Diagrams”,
- “Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers”,
- “Late Breaking Results: Wiring Reduction for Field-coupled Nanotechnologies”, and
- “An Automatic Synthesis Framework for Reversible Quantum-Flux-Parametron Logic Circuits based on Efficient Cartesian Genetic Programming”
are presented at the Design Automation Conference (DAC). Furthermore, we hosted a panel discussion on “Quantum Computing: Accomplishments, Bottlenecks, and Timelines” at this conference.
-
Jun 24, 2024: Damian Rovara gives a talk on “Supporting End Users in Realizing Quantum Computing Applications” at the Workshop on Quantum Software (WQS) at the Programming Language Design and Implementation (PLDI) conference.
-
Jun 21, 2024: Nils Quetschlich visits Amazon Web Services (AWS) and gives a talk on “Supporting End Users in Realizing Quantum Computing Applications Using the Munich Quantum Toolkit (MQT)”.
-
Jun 19, 2024: Our lecture “Einführung in die Rechnerarchitektur” organized in collaboration with the Chair for Computer Architecture and Parallel Systems, has been awarded the TeachInf Award for the best mandatory Computer Science course of the Winter Semester 2023/2024 at the Technical University of Munich.
-
Jun 17, 2024: Our work on “MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing” has been published in the ACM Transactions on Quantum Computing (TQC).
-
Jun 14, 2024: Lukas Burgholzer receives the Heinz Zemanek Award 2024 awarded by the Austrian Computer Society (OCG) for his outstanding dissertation “Design Automation Tools and Software for Quantum Computing” (also covered by this OCG press release in German). Congratulations!
-
Jun 07, 2024: Nils Quetschlich presents the Munich Quantum Toolkit at the Quantum Circuit Design Automation Workshop at the Banff International Research Station (BIRS).
-
Jun 06-07, 2024: Our work on “Reducing Wire Crossings in Field-Coupled Nanotechnologies” is presented at the International Workshop on Logic and Synthesis (IWLS). Furthermore, we contribute to the special session “Unconventional Cost Functions for Logic Synthesis” with the invited talk “The Case for Planar Logic Synthesis: Crossing Costs in Nanotech” at this workshop.
-
May 30, 2024: Zain Amir Zaman successfully completed her Master thesis entitled “Machine Learning on the Edge for Gesture Recognition using 60 GHz FMCW Radar”. Congratulations!
-
May 30, 2024: Our work on “Analog Information Decoding of Bosonic QLDPC Codes” has been published in Physical Review X Quantum (PRX Quantum).
-
May 23, 2024: Ayse Kotil successfully completed her Master thesis entitled “Quantum Algorithms for Multi-Objective Optimization”. Congratulations!
-
May 21, 2024 - Jul 26, 2024: Nils Quetschlich visits the University of British Columbia for a research stay at the QSAR group.
-
May 14-17, 2024: Ludwig Schmid presents a poster on “Bridging Physics and Computer Science: Compiler Development for Neutral Atom Quantum Computing” at the Munich Conference on Quantum Science and Technology 2024 of the German MCQST excellence cluster.
-
May 05, 2024: We released version 0.6.0 of our MNT design automation framework fiction with new and improved SiDB simulation and physical design algorithms. Plus, we are now providing official Python bindings with pre-built wheels available on PyPI.
-
Apr 30, 2024: We launched MQT Qudits covering tool support for the simulation and compilation of mixed-dimensional qudit quantum computing. More information is available in this tutorial and this overview video.
-
Apr 30, 2024: MQT Bench is now available as a PennyLane dataset. More information on MQT Bench is available here.
-
Apr 27, 2024: Robert Wille gives a keynote on “Software for Quantum Computing – The Bridge between the HPC Community and Actual Platform Providers” at the HPC-Status Conference 2024.
-
Apr 17, 2024: Tobias Forster presents the Munich Quantum Toolkit at the “PhD Colloquium on Quantum Computing” at the BMW Group.
-
Apr 17, 2024: Olivia Di Matteo from the University of British Columbia visits us and gives a talk on “Quantum Software and Algorithms Research at UBC”.
-
Apr 03, 2024: Our work on “Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors - Connecting Tool Developers and Hardware Experts” has been published in IOP Quantum Science and Technology (QST).
-
Apr 03-05, 2024: Our work on “Thinking Outside the Clock: Physical Design for Field-coupled Nanocomputing with Deep Reinforcement Learning is presented at the International Symposium on Quality Electronic Design (ISQED).
-
Mar 25-27, 2024: Our works on
- “Design Automation for Organs-on-Chip”,
- “Towards Cycle-based Shuttling for Trapped-Ion Quantum Computers”,
- “Towards Atomic Defect-Aware Physical Design of Silicon Dangling Bond Logic on the H-Si(100)-2x1 Surface”,
- “MNT Bench: Benchmarking Software and Layout Libraries for Field-coupled Nanocomputing” and
- “Late Breaking Results: Iterative Design Automation for Train Control with Hybrid Train Detection”
are presented at the Design, Automation and Test in Europe (DATE). Furthermore, we
- are presenting an Intermediate Stage Report of our ERC Consolidator Grant “DAQC” and
- contribute to the special session “Towards Large Scale Quantum Computing Design: The Quest From Automatic Methods And Tools To Integrated EDA Frameworks” at this conference.
-
Mar 25, 2024: Lukas Burgholzer presents his work on “Design Automation Tools and Software for Quantum Computing” at the DATE PhD Forum.
-
Mar 22, 2024: Masahiro Fujita from the University of Tokyo visits us and gives a talk on “Constrained training with Implicit Neural Representation”.
-
Mar 20, 2024: Louis Chen from the Imperial College London visits us and gives a talk on “Advancing Towards a HPC-Quantum Ecosystem with Distributed Quantum Computing”.
-
Mar 19, 2024: Kevin Mato presents at the University of Oxford the latest results for software for mixed-dimensional quantum computing, including a demonstration of MQT Qudits.
-
Mar 14, 2024: Robert Wille and Lukas Burgholzer present the Munich Quantum Toolkit and its integration into the PlanQK platform at the PlanQK webinar together with Sebastian Wagner from Anaqor. More information on the MQT is available on the following page.
-
Mar 10-19, 2024: Marcel Walter, Jan Drewniok, and Robert Wille attend a joint exchange meeting with Konrad Walus' group (University of British Columbia) and Robert Wolkow’s group (University of Alberta) on connecting atom-scale manufacturing and design automation.
-
Mar 07, 2024: Our work on “Simulating Charged Defects in Silicon Dangling Bond Logic Systems to Evaluate Logic Robustness” has been published in the IEEE Transactions on Nanotechnology (TNANO).
-
Mar 04, 2024: Michele Guardiani successfully completed the Master thesis entitled “Macine learning FOR FMCUO Radar Processing With uncalibrated arrays”. Congratulations!
-
Feb 21, 2024: We released new versions for some of the main tools within the Munich Quantum Toolkit (mqt-core, mqt-ddsim, mqt-qmap, and mqt-qcec) that make them compatible with Qiskit’s 1.0 release. More information on the MQT is available on the following page.
-
Feb 11, 2024: Lucas Berent visits the Simons Institute for the Theory of Computing in the course of the semester research program “Quantum Algorithms, Complexity, and Fault Tolerance”.
-
Feb 05, 2024: Shun Hu successfully completed the Master thesis entitled “EmbededIn-Door People Counting Using Short-Range Radar Sensors”. Congratulations!
-
Jan 22-25, 2024: Our works on
- “The Need for Speed: Efficient Exact Simulation of Silicon Dangling Bond Logic”
- “Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers”
are presented at the Asia and South-Pacific Design Automation Conference (ASP-DAC).
-
Jan 13, 2024: Yang Linyan successfully completed the Master thesis entitled “Unifying Unsupervised Domain Adaption for Video and Image Semantic Segmentation”. Congratulations!
-
Jan 12, 2024: Our work on “Accelerated Computational Fluid Dynamics Simulations of Microfluidic Devices by Exploiting Higher Levels of Abstraction” has been published in MDPI Micromachines.
-
Dec 18-20, 2023: Our works on
- “Post-Layout Optimization for Field-coupled Nanotechnologies”
- “Minimal Design of SiDB Gates: An Optimal Basis for Circuits Based on Silicon Dangling Bonds”
- “Reducing the Complexity of Operational Domain Computation in Silicon Dangling Bond Logic”
are presented at the International Symposium on Nanoscale Architectures (NANOARCH).
-
Dec 6, 2023: We launched MNT Bench—a benchmark suite that includes layouts for multiple abstraction levels, gate libraries, clocking schemes, physical design algorithms, and optimizations to empirically evaluate and compare software and design automation tools for Field-coupled Nanocomputing.
-
Nov 21-23, 2023: We held the MNT Hackathon, a group event on design automation software for Nanotechnology.
-
Nov 21, 2023: Marcel Walter has been appointed member of the Program Committee for the International Workshop on Logic and Synthesis (IWLS) 2024.
-
Nov 17, 2023: Florina Costamoling successfully completed her Master thesis entitled “Modular 1D-Simulator for Microfluidic Biochips”. Congratulations!
-
Nov 12-17, 2023: Lukas Burgholzer presents a poster and gives a talk about his PhD work on “Design Automation Tools and Software for Quantum Computing” at the Supercomputing Conference (SC).
-
Nov 3, 2023: Aleksei Velsh successfully completed his Bachelor thesis entitled “Two-Qubit Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers”. Congratulations!
-
Oct 24, 2023: Judith Przigoda from Siemens Mobility visits our chair for discussions on design automation for train control systems.
-
Oct 16-18, 2023: Our works on
- “Design Automation for Organs-on-Chip”
- “Accelerating CFD Simulations of Microfluidic Devices by Exploiting Higher Levels of Abstractions”
are presented at the microTAS 2023 conference.
-
Oct 09-10, 2023: We organized the Munich Quantum Software Forum and brought more than 200 peers together to exchange about quantum computing software. Check out the summary on this page!
-
Oct 05, 2023: Yusuke Kimura from the Fujitsu Quantum Laboratory visits our chair during his stay in Munich.
-
Oct 04, 2023: Sebastian Brandhofer from the University of Stuttgart visits us and gives a talk on “Rigorous Compilation for Near-Term Quantum Computers”.
-
Sep 28, 2023: Our book “Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams” has been published by Springer.
-
Sep 28, 2023: Ismail Ahl-Lamara successfully completed his Master’s thesis entitled “Explainable Artificial Neural Networks for Efficient Cryogenic Silicon Device Modeling”. Congratulations!
-
Sep 17-22, 2023: Our works on
- “Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level”
- “Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers”
- “Towards Hamiltonian Simulation with Decision Diagrams”
- “Mixed-Dimensional Quantum Circuit Simulation with Decision Diagrams”
- “A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem”
are presented at the IEEE International Conference on Quantum Computing and Engineering (QCE). Besides that, we are hosting a panel on “Software Stacks in Big Quantum Computing Initiatives” and are giving an invited talk on “A suite of design automation tools for quantum computing” at the Design Automation Workshop. Finally, our works on
- The Munich Quantum Toolkit (MQT)
- Supporting End-Users in Realizing Quantum Computing Applications
- Towards the Munich Quantum Computing Software Stack
are presented as posters.
-
Sep 08, 2023: Our works on
- “Efficient Simulation of Droplet Merging in Channel-based Microfluidic Devices”
- “CFD for Microfluidics: A Workflow for Setting Up the Simulation of Microfluidic Devices”
are presented at the Euromicro Conference on Digital System Design (DSD).
-
Sep 07-08, 2023: Our work on “A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy” is presented at the Symposium on Algorithmic Approaches for Transportation Modeling, Optimization and Systems (ATMOS).
-
Aug 28, 2023: Our experiences from the organization of DATE 2023 has been summarized in “Postpandemic Conferences: The DATE 2023 Experience” published in IEEE Design & Test.
-
Aug 18, 2023: Firas Koubaa successfully completed the Bachelor thesis entitled “Modellbasierte Testfallerstellung zur automatisierten HIL-Absicherung”. Congratulations!
-
Aug 08, 2023: The TechTalk: “Design Automation for Quantum Computing” given by Robert Wille at DAC 2023 is now available at YouTube.
-
Aug 04, 2023: Our work on “Error mitigation enables PET radiomic cancer characterization on quantum computers” has been published in the European Journal of Nuclear Medicine and Molecular Imaging (EJNM).
-
Jul 25, 2023: Our work on “On Optimal Subarchitectures for Quantum Circuit Mapping” has been published in the ACM Transactions on Quantum Computing (TQC).
-
Jul 21, 2023: Lukas Burgholzer is featured in the MQV In Persona portrait series of the Munich Quantum Valley (MQV) which gives personal insights into the MQV ecosystem (also available in German).
-
Jul 21, 2023: Zhang Miao successfully completed the Master thesis entitled “Deep learning-based out of distribution detection of human presence using short-range radar”. Congratulations!
-
Jul 20, 2023: Our work on “MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing” has been published in the Quantum Journal.
-
Jul 09-13, 2023: Our works on
- “Compiler Optimization for Quantum Computing Using Reinforcement Learning”
- “Late Breaking Results From Hybrid Design Automation for Field-coupled Nanotechnologies”,
- “Design Automation for Cryogenic CMOS Circuits”, and
- “Technology Mapping for Beyond-CMOS Circuitry with Unconventional Cost Functions”
are presented at the Design Automation Conference (DAC).
-
Jul 09-13, 2023: Lukas Burgholzer and Nils Quetschlich participate in the DAC Young Fellows Program 2023.
-
Jul 12, 2023: Robert Wille got awarded an ACM SIGDA Meritorious Service Award (for “leading positions in major ACM SIGDA conferences”). Congratulations!
-
Jul 11, 2023: Lukas Burgholzer presents his work on “Design Automation Tools and Software for Quantum Computing” at the DAC PhD Forum.
-
Jul 06, 2023: Our works on
- “Predicting Good Quantum Circuit Compilation Options” and
- “Compression of Qubit Circuits: Mapping to Mixed-Dimensional Quantum Systems”
are presented at the IEEE International Conference on Quantum Software (IEEE QSW).
-
Jul 04, 2023: Our works on
- “QuickSim: Efficient and Accurate Physical Simulation of Silicon Dangling Bond Logic”,
- “Temperature Behavior of Silicon Dangling Bond Logic”, and
- “Scalable Physical Design for Silicon Dangling Bond Logic: How a 45° Turn Prevents the Reinvention of the Wheel”
are presented at the IEEE International Conference on Nanotechnology (IEEE NANO).
-
Jul 03, 2023: We inaugurated our Munich Microfluidic Lab which we are going to use to validate microfluidic devices designed and simulated by our Munich Microfluidic Toolkit.
-
Jul 02, 2023: We released version 1.0 of our benchmark suite MQT Bench as part of the Munich Quantum Toolkit (MQT) with new benchmarks (providing now more than 70,000 in total) and further improvements.
-
Jul 01, 2023: We officially launched the Munich Nanotech Toolkit (MNT) – our collection of design automation and simulation tools for nanotechnologies (such as QCA, NML, or SiDBs).
-
Jun 30, 2023: Maria Emmerich gives a talk on “Design Automation and Simulation for Microphysiological Systems” at the MPS World Summit.
-
Jun 26, 2023: Sebastian Schober successfully defended his PhD thesis entitled “Stochastic Modeling and Machine Learning Techniques for Graphene-Based Environmental Gas Sensors”. Congratulations!
-
Jun 21, 2022: Our work on “Versatile Signal Distribution Networks for Scalable Placement and Routing of Field-coupled Nanocomputing Technologies” is presented at the IEEE Computer Society Annual Symposium on VLSI (ISVLSI).
-
Jun 19, 2023: Nils Quetschlich gives a talk on Compiler Optimization for Quantum Computing Using Reinforcement Learning at the Fraunhofer Institute for Integrated Circuits (IIS).
-
Jun 13-21, 2023: Timo Hillmann from Chalmers University of Technology visits us for a collaboration on quantum error-correcting codes.
-
Jun 15, 2023: Tom Peham and Robert Wille have been awarded with the TeachInf Award for the best mandatory Computer Science lecture in the winter semester 2022/2023 at the Technical University of Munich.
-
Jun 14, 2023: Andreas Wallraff visits our chair during his stay in Munich in the context of his MCQST distinguished lecturer awarding.
-
Jun 07, 2023: Kevin Mato gave a lecture on “Introduction to Quantum Computing” at the European Summer School of the Italian Supercomputing Center CINECA.
-
Jun 07, 2023: Maciej Ciesielski from the University of Massachusetts, Amherst, USA visits us and gives a talk on “Functional Verification of Arithmetic Circuits: Survey of Formal Methods”.
-
Jun 07, 2023: Our work MEET: A Monte Carlo Exploration-Exploitation Trade-off for Buffer Sampling is presented at the International Conference on Acoustics, Speech and Signal Processing (ICASSP).
-
Jun 06, 2023: Robert Wille visits the Sony AI site in Zurich and gives a ZTC Tech Talk on “Design Automation and Software Tools for Quantum Computing”.
-
Jun 05-06, 2023: Our works on
- Technology Mapping for Beyond-CMOS Circuitry with Unconventional Cost Functions,
- Design Automation for Cryogenic CMOS Circuits, and
- Thinking Outside the Clock: Physical Design for Field-coupled Nanocomputing with Deep Reinforcement Learning
are presented at the International Workshop on Logic and Synthesis (IWLS).
-
Jun 05: Robert Wille gives a keynote on “Design Automation for Quantum Computing: How to (Not) Re-invent the Wheel for an Emerging Technology” at the International Workshop on Logic and Synthesis (IWLS).
-
May 30, 2023: Tiago Alexander Reiter successfully completed the Bachelor thesis entitled “On the importance of verifying the results of quantum circuit compilation flows”. Congratulations!
-
May 28, 2023: Robert Wille has been appointed Subcommittee Chair for “Emerging Devices, Technologies and Applications” at the Asia and South Pacific Design Automation Conference (ASP-DAC).
-
May 25, 2023: Robert Wille gives a talk on “Software and Design Automation for Quantum Computing” at the Colloquium of the Munich Quantum Valley (MQV).
-
May 22-24, 2023: Our works on
- “Optimized Density Matrix Representations” and
- “Towards an Automated Framework for Realizing Quantum Solutions”
are presented at the International Symposium on Multiple-Valued Logic (ISMVL).
-
May 18-19, 2023: We attend the 5 Year Update to the Next Steps in Quantum Computing Workshop organized by the Computing Community Consortium (CCC) of the Computing Research Association.
-
May 10, 2023: Jan Drewniok gives a talk on “Efficient and Exact Physical Simulation of Silicon Dangling Bond Logic” at Quantum Silicon Inc.
-
Apr 30, 2023: Stefan Hillmich has co-mentored a Team that has been awarded the Audience Choice Award at the NYUAD Hackathon for Social Good in the Arab World. Congratulations!
-
Apr 27, 2023 Kevin Mato presents in an online seminar to the Barcelona Supercomputing Centre (BSC-CNS) the latest results of MQT Qudits.
-
Apr 27-29, 2023: Lukas Burgholzer and Stefan Hillmich participate as mentors at the 11th NYUAD International Hackathon for Social Good focusing on Quantum Computing at the New York University in Abu Dhabi.
-
April 26, 2023: Our work “Efficient Implementation of LIMDDs for Quantum Circuit Simulation” is presented at the International Symposium on Model Checking of Software (SPIN).
-
Apr 24, 2023: Gerold Fink successfully defended his PhD thesis entitled “Simulation and Design Automation Tools for Microfluidic Devices”. Congratulations!
-
Apr 19-21, 2023: Lukas Burgholzer participates in the first European Quantum System Software Summit (EQS3) in Raitenhaslach.
-
Apr 19, 2023: Our work on QLDPC Codes for Modular Architectures is presented at QCTIP.
-
Apr 14, 2023: We officially launched the Munich Quantum Toolkit (MQT) – our collection of design automation tools and software for quantum computing.
-
Apr 14, 2023: Lucas Berent gives a talk on “Decoding QLDPC Codes” at Simon Benjamin’s group at the University of Oxford.
-
Apr 13, 2023: Sarah Seifi has been awarded the Best Poster Award at the Smart Systems Integration Conference. Congratulations!
-
Apr 12, 2023: Our work Introducing QRogue: Teaching Quantum Computing Using a Rogue-like Game Concept is presented at the Foundations of Digital Games (FDG). A beta-version of the corresponding game can be accessed through this page.
-
Apr 11, 2023: The article “Realizing the potential of quantum computing applications” covering our work on data structures for quantum computing has been published by the Open Access Government.
-
Apr 03, 2023: We are going to integrate our design automation and simulation methods for microfluidic devices into a “Munich Microfluidics Toolkit”. First solutions are already available at this page.
-
Mar 30, 2023: We released version 0.5.0 of our FCN design automation tool fiction with many new features and improvements.
-
Mar 15, 2023: Robert Wille has been appointed member of the Program Committee for the Euromicro Conference on Digital System Design (DSD).
-
Mar 08, 2023: Bohan Lu from the FU Berlin visits us and gives a talk on “Improved decoding of quantum LDPC codes using neural-network enhanced belief propagation”.
-
Feb 17, 2023: Feng Hao successfully completed his Master thesis entitled “Elderly Fall Detection by FMCW Radar”. Congratulations!
-
Feb 15, 2023: Victory Omole from Super.tech visits us and gives a talk on how software engineers contribute to the development of Quantum Computers.
-
Feb 07, 2023: Benjamin Hien successfully completed his Master thesis entitled “Signal Distribution Networks in Automatic QCA Standard-Cell Placement & Routing”. Congratulations!
-
Feb 06-07, 2023: Our works on
- “Software Tools For Decoding QLDPC Codes, and
- “QLDPC Codes for Modular Architectures are presented as posters at the Quantum Information Processing Conference (QIP).
-
Jan 16-19, 2023: Our works on
- “Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms”,
- “Software Tools for Decoding Quantum Low-Density Parity Check Codes”,
- “Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences”,
- “A SAT Encoding for Optimal Clifford Circuit Synthesis”, and
- “Compilation of Entangling Gates for High-Dimensional Quantum Systems”
are presented at the Asia and South Pacific Design Automation Conference (ASP-DAC).
-
Jan 13, 2023: We released version 2.0 of our quantum circuit compilation tool QMAP as part of the Munich Quantum Toolkit (MQT) with many new features and improvements.
-
Jan 11, 2023: Thomas Grurl has been awarded the Best Student Paper Award at the International Conference on VLSI Design. Congratulations!
-
Jan 08-12, 2023: Our work on Automatic Implementation and Evaluation of Error-Correcting Codes for Quantum Computing: An Open-Source Framework for Quantum Error Correction is presented at the International Conference on VLSI Design (VLSI Design). Besides that, we contributed to the tutorial “Quantum Computing: Algorithms, Systems and Design Automation” at this conference.
-
Jan 08, 2023: Our book chapter “Verification of Quantum Circuits” in the “Handbook of Computer Architecture” published by Springer is now available online.
-
Dec 19, 2022: Our work on “SyReC Synthesizer: An MQT tool for synthesis of reversible circuits” has been published in the Software Impacts Journal.
-
Dec 12, 2022: Our book chapter “Decision Diagrams for Quantum Computing” has been published by Springer.
-
Dec 07-09, 2022: Our works on
- “Efficient Multi-Path Signal Routing for Field-coupled Nanotechnologies” and
- “Exploiting the Third Dimension: Stackable Quantum-dot Cellular Automata”
are presented at the International Symposium on Nanoscale Architectures (NANOARCH).
-
Dec 07, 2022: Robert Wille has been appointed member of the Program Committee for the International Conference on Quantum Software (QSW).
-
Nov 12, 2022: Kevin Mato presents the Munich Quantum Toolkit at the Workshop on Quantum Software, co-located with QTML22.
-
Nov 11, 2022: Riccardo Romanello from the Universiy of Udine visits us and gives a talk on “Encoding of directed graphs for Quantum Computing”.
-
Nov 07-09, 2022: Omar Paranaiba Vilela Neto from the Federal University of Minas Gerais stays at our chair, discussing Photonic Computing, DNA Computing and FCN.
-
Nov 07, 2022: Stefan Hillmich successfully completed his PhD thesis entitled “Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams”. Congratulations!
-
Nov 06, 2022: Our work on “MMFT Droplet Simulator: Efficient Simulation of Droplet-based Microfluidic Devices” has been published in the Software Impacts Journal.
-
Oct 28, 2022: Robert Wille has been appointed member of the Program Committee for the International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS).
-
Oct 27, 2022: Robert Wille has been appointed member of the Program Committee for the International Conference on Reversible Computation (RC).
-
Oct 25, 2022: We released version 2.0 of our quantum circuit equivalence checking tool QCEC as part of the Munich Quantum Toolkit (MQT) with many new features and improvements.
-
Oct 24, 2022: Our work on Improved Performance of Two-phase Microfluidic Fuel Cells Using Nanostructures: A Numerical Study is presented at the International Conference on Miniaturized Systems for Chemistry and Life Sciences (µTAS).
-
Oct 19, 2022: Priyanka Mukhopadhyay from the University of Toronto visits us and gives a talk on “Some recent algorithms to optimize T-count of multi-qubit unitaries”.
-
Oct 11-14, 2022: Our quantum computing group is going for a retreat at the TUM Science & Study Center Raitenhaslach.
-
Oct 17, 2022: Huawei Sun successfully completed her Master thesis entitled “Explainable and Robust Al for improving People Counting Tasks using FMCW radar”. Congratulations!
-
Oct 07, 2022: Lukas Burgholzer gives a (virtual) talk on “Design Automation and Software Tools for Quantum Computing” in the ECE seminar at the University of Utah.
-
Oct 04-06, 2022: We are participating at the Review Meeting of the Munich Quantum Valley in which we are developing software for quantum computing (more about our work on quantum computing is available at this page).
-
Sep 29, 2022: The article “Data structures for quantum computing” covering our work on data structures for quantum computing has been published by the Open Access Government.
-
Sep 28, 2022: Poulami Das from Georgia Tech visits us and gives a talk on “Software and Architecture for Reliable Quantum Computing”.
-
Sep 27, 2022: Stefan Hillmich gives a presentation on “MQT: The Munich Quantum Toolkit” at the GI Quantum Computing Workshop.
-
Sep 27, 2022: Robert Wille gives a talk on “Design Automation and Software Tools for Quantum Computing” at the Technical University of Denmark.
-
Sep 26, 2022: We are participating at the milestone meeting of the AUTOMATE project in which we are developing simulation methods for microfluidic devices (more about our work on microfluidics is available at this page).
-
Sep 22: Robert Wille gives a talk on “Quantum Computing: Potential and Challenges from a Design Perspective” at the IT Discovery Week by Infineon.
-
Sep 18-23, 2022: Our work on Adaptive Compilation of Multi-Level Quantum Operations is presented at the IEEE International Conference on Quantum Computing and Engineering (QCE). Besides that, we are giving an invited talk on “Data-structures for Quantum Circuit Simulation” and participate in the panel of the International Workshop on Integrating High-Performance and Quantum Computing.
-
Sep 17, 2022: Robert Wille gives a keynote on “Software for Quantum Computing: How to Design and Develop Applications for the Next Big Thing?” at the 11th Heinz Nixdorf Symposium.
-
Sep 14, 2022: The video of our panel discussion with Krysta Svore (from Microsoft Research), Leo Stok (from IBM Research), and Austin Fowler (from Google Research) at DAC 2021 is now available at YouTube.
-
Sep 13, 2022: Robert Wille gives a keynote on “SAT Solvers and Quantum Computing: Potential and Challenges” at the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
-
Sep 09, 2022: Robert Wille has been appointed member of the Program Committee for the European Test Symposium (ETS).
-
Aug 28, 2022: Our work on “Equivalence Checking of Quantum Circuits with the ZX-Calculus” has been published in the Journal of Emerging and Selected Topics in Circuits and Systems (JETCAS).
-
Aug 28, 2022: Robert Wille has been appointed member of the Program Committee for the European Test Symposium (ETS).
-
Aug 12, 2022: Our work on “Simulations Paths for Quantum Circuit Simulation with Decision Diagrams: What to Learn from Tensor Networks, and What Not” has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
-
Aug 02, 2022: Our work on “Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond” is presented at the International Conference on Theory and Applications of Satisfiability Testing (SAT).
-
Aug 01, 2022: We are visiting the IBM Research team in Haifa and give a talk on “Verification of Quantum Circuits”.
-
Jul 25, 2022: Lieuwe Vinkhuijzen from the Leiden Institute of Advanced Computer Science visits us and gives a talk on “The big tent of decision diagram research”.
-
Jul 25, 2022: Simon Hofmann successfully completed his Master thesis entitled “Reinforcement Learning and Evolutionary Algorithms for Jammer Mitigation in Cognitive Radio”. Congratulations!
-
Jul 19, 2022: Our work on “Simulation of Pressure-Driven and Channel-Based Microfluidics on Different Abstract Levels: A Case Study” has been published in MDPI Sensors.
-
Jul 19, 2022: Our book chapter “Empowering the Design of Reversible and Quantum Logic with Decision Diagrams” has been published by Springer.
-
Jul 14, 2022: Stefan Hillmich got awarded a DAC Young Fellow Best Video Award. Congratulations!
-
Jul 10-14, 2022: Our works on
- “Handling Non-Unitaries in Quantum Circuit Equivalence Checking”
- “Hexagons are the Bestagons: Design Automation for Silicon Dangling Bond Logic”, and
- “Equivalence checking paradigms in quantum circuit design: A case study”
are presented at the Design Automation Conference (DAC). Besides that, we are part of the Special Session presenting “The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus” at this conference.
-
Jul 12, 2022: We are organizing the PhD Forum at DAC.
-
Jul 10, 2022: We are contributing to the panel of the Early Career Workshop at DAC.
-
Jul 06, 2022: Our work on “Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think” is presented at the Conference on Reversible Computation (RC).
-
Jul 05, 2022: Our work on “Exact Mapping of Quantum Circuit Partitions to Building Blocks of the SAQIP Architecture” is presented at the IEEE Computer Society Annual Symposium on VLSI (ISVLSI).
-
Jul 01, 2022: Alwin Zulehner got awarded a Promotio sub auspiciis Praesidentis rei publicae (the highest possible distinction for a doctoral degree in Austria) for his PhD (also covered by this press release by JKU). Congratulations!
-
Jun 28, 2022: Lukas Burgholzer got awarded a JKU Early Research Achievement Award (also covered by this press release by JKU). Congratulations!
-
Jun 14, 2022: Our work on “A Comprehensive Survey on Electronic Design Automation and Graph Neural Networks: Theory and Applications” has been published in the Transactions on Design Automation of Electronic Systems (TODAES).
-
Jun 07, 2022: Our work on “Noise-aware Quantum Circuit Simulation With Decision Diagrams” has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
-
Jun 04, 2022: Our work on “Channel Routing for Microfluidic Devices: A Comprehensive and Accessible Design Tool” has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
-
Jun 01, 2022: We are supported by the “Distinguished Professorship”-program of the Bavarian High Tech Agenda which provides us with approx. 5 Mio. EUR for the first five years. More about that in
-
Jun 01, 2022: Our work on “Optimal Railway Routing Using Virtual Subsections” is presented at the International Conference on Reliability, Safety and Security of Railway Systems (RSSRAIL).
-
May 27, 2022: Our work on “Model-Driven Engineering of Safety and Security Software Systems: A Systematic Mapping Study and Future Research Directions” has been published in the Journal of Software: Evolution and Process.
-
May 25, 2022: Our work on Label-Aware Ranked Loss for Robust People Counting Using Automotive In-Cabin Radar” is presented at the International Conference on Acoustics, Speech, and Signal Processing (ICASSP).
-
May 16, 2022: Richard Kueng completed his habilitation today. Congratulations!
-
Apr 28, 2022: Robert Wille has been appointed member of the Program Committee for the International Workshop on Boolean Problems (IWSBP).
-
Apr 28, 2022: We launched MQT Bench—a cross-level benchmark suite comprising more than 30.000 benchmark circuits ranging from 2 up to 130 qubits on four abstraction levels to empirically evaluate and compare software and design automation tools for quantum computing.
-
Apr 25, 2022: Our work on “Approximating Decision Diagrams for Quantum Circuit Simulation” has been published in the ACM Transactions on Quantum Computing (TQC).
-
Apr 21, 2022: Our work on “Neural Network Robustness Analysis Using Sensor Simulations for a Graphene-Based Semiconductor Gas Sensor” has been published in Chemosensors.
-
Apr 18, 2022: Robert Wille has been appointed member of the Program Committee for the International Conference on Computer Design (ICCD).
-
Apr 08, 2022: Our work on “A Concept Towards Pressure-Controlled Microfluidic Networks” is presented at the International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS).
-
Apr 08, 2022: Our work on “Design Automation for Continuous-Flow Lab-on-a-Chip Systems: A One-Pass Paradigm” has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
-
Apr 12, 2022: Karim Janou successfully completed his Master thesis entitled “Adversarial Attacks on Radar Data: Loss Functions’ Transferability and Universal Patches”. Congratulations!
-
Apr 06, 2022: Robert Wille has been appointed Subcommittee Chair for “Emerging Devices, Technologies and Applications” at the Asia and South Pacific Design Automation Conference (ASP-DAC).
-
Apr 04-08, 2022: Kevin Mato visits the University of Innsbruck/AQT GmbH for exchanges on how to close the gap between physics and software in quantum computing and gives a talk on “An Introduction to Design Automation for Quantum Computing”.
-
Apr 01, 2022: Our work on “Characteristics of reversible circuits for error detection” has been published in Array.
-
Mar 30-Apr 1, 2022: Lukas Burgholzer and Stefan Hillmich mentored two teams at the 10th NYUAD International Hackathon for Social Good focusing on Quantum Computing at the New York University in Abu Dhabi.
-
Mar 29, 2022: Our “10-year Retrospective Most Influential Paper Award” is covered in an article by the Bremen magazin up2date.
-
Mar 28, 2022: Richard Kueng successfully completed his habilitation thesis entitled “Rigorous and non-asymptotic theory support for near-term quantum computers”. Congratulations!
-
Mar 28, 2022: Robert Wille has been appointed member of the IFIP Working Group on Foundations of Quantum Computation.
-
Mar 23, 2022: The article Classical simulation of quantum circuits covering our work on quantum circuit simulation has been published by the Open Access Government.
-
Mar 22, 2022: Robert Wille discusses with M.Fernando González Zalba (from Quantum Motion) and Théophile Gonos (from A.I.Mergence) in a panel “What’s it like to be an Engineer for Emerging Computing Technologies” organized by Aida Todri at the Design, Automation and Test in Europe (DATE).
-
Mar 21, 2022: Tom Peham successfully completed his Master thesis entitled “Equivalence checking of Quantum Circuits with the ZX-calculus”. Congratulations!
-
Mar 18, 2022: Robert Wille gives a keynote on “Design Automation and Software Tools for Quantum Computing” at the International Workshop on Quantum Software Analysis, Evolution and Reengineering (Q-SANER 2022; co-located with SANER 2022).
-
Mar 15, 2022: Stefan Hillmich presents his work on “Decision Diagrams in Quantum Design Automation” at the DATE PhD Forum (see this page for more details on the topic).
-
Mar 14-23, 2022: Our work on
- Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams (implementation available here) and
- Comprehensive and Accessible Channel Routing for Microfluidic Devices (tool available here)
are presented at the Design, Automation and Test in Europe (DATE).
-
Mar 12, 2022: Our work on “Automatic Design of Microfluidic Gradient Generators” has been published at IEEE Access. The corresponding tool, which designs concentration gradient generators in an automatic fashion and through an easy to use online form, is available at this page.
-
Mar 11, 2022: Stefan Hillmich gave a poster presentation on “Design Automation Tools for Quantum Computing” at the Conference on Quantum Information Processing (QIP).
-
Mar 10, 2022: Robert Wille has been appointed member of the Program Committee for the IEEE International Conference on Quantum Computing (QCE).
-
Mar 08, 2022: Robert Wille has been appointed to the Future Panel Upper Austria—a think tank for the Upper Austrian government.
-
Mar 1, 2022: We started the Chair for Design Automation at the Technical University of Munich. All news below belong to our previous acitvities at the Johannes Kepler University Linz.