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.

News

• 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, 2023: 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).

• 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”.

• 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 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 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 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 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 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

  • a press Release by the Technical University of Munich,
  • a press Release by the Bavarian Ministry of Science and Art (in German), and
  • an interview and Video (in German).

• 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.

Newsarchive