News Archive

2026

• Oct 19, 2026: Jan Drewniok receives the IEEE NTC Best PhD Thesis Award for the dissertation “Design and Simulation of Atomic-Scale Computing: A Comprehensive Framework for Physical Simulation, Logic Design, Logic Analysis, and Circuit Design”. Congratulations!

• Oct 19, 2026: Philipp Ebner successfully defended his dissertation entitled “Design Automation for Microfluidic Devices”. Congratulations!

• Oct 16, 2026: Damian Rovara gives a talk on “Quantum Optimization and the Munich Quantum Toolkit” at the “Quantum Hackathon” organized by the Quantum Social Lab at TUM Think Tank, Munich.

• Oct 6–8, 2026: Lukas Burgholzer, Fiona Fröhler, Damian Rovara, Yudong Sun, Yannick Stade, and Robert Wille participate in the Annual Meeting of the Munich Quantum Valley (MQV) in Eichstätt and present their contributions within the Munich Quantum Valley on

  • New Developments in Compilation for Neutral Atom-based Quantum Computing,
  • Fault-Tolerance-Aware Compilation of the Bacon-Shor Code, and
  • The MQT Compiler Collection: An MLIR Ecosystem for Quantum Compilation.

• Sep 30, 2026: Michel Takken successfully defended his dissertation entitled “Simulation of Microfluidic Devices at Multiple Levels of Abstraction”. Congratulations!

• Sep 30, 2026: A video summarizing our attendance and contributions to the IEEE Quantum Week 2026 is now online. Watch it here.

• Sep 23, 2026: Our work on “Leveraging Years of Classical Compiler Expertise for Quantum Computing” has been published in Computing in Science & Engineering.

• Sep 22, 2026: Robert Wille has been appointed member of the Program Committee of the 4th International Workshop on Quantum Software-Engineering Tools, Algorithms & Verification (Q-STAV 2027), co-located with SE 2027 in Dortmund.

• Sep 17, 2026: Hsuan-Chu Chen successfully completed the Master thesis entitled “Lattice Surgery Compilation for Topological Quantum Error Correcting Codes”. Congratulations!

• Sep 17, 2026: Our work on “Handling Imperfections in Subcircuit Compilation for Linear Optical Quantum Computing” has been awarded the Best Paper Award (3rd Place) at the IEEE International Conference on Quantum Computing and Engineering (QCE).

• Sep 14, 2026: Huawei Sun successfully defended her dissertation entitled “Deep Learning-based Radar Camera Fusion for Perception in Autonomous Driving”. Congratulations!

• Sep 13-18, 2026: Our works on

  • “Teaching Quantum Design Automation with Block-Based Programming”,
  • “MLIR for Quantum Beyond Gate Cancellation: Quantum Circuit Mapping Reimagined”,
  • “Handling Imperfections in Subcircuit Compilation for Linear Optical Quantum Computing”,
  • “Routing Techniques for Error-Corrected Silicon Spin Qubit Quantum Architectures”,
  • “Scalable Circuit Cutting: A Framework for Combined Gate and Wire Cuts Using Gate Groups”,
  • “Efficient Priority-Aware Scheduling for Parallel Circuit Execution in Distributed Multi-QPU Systems”,
  • “Fast Unitary Preparation of Surface-Code Logical States on Neutral-Atom Hardware”, and
  • “Enabling Neutral Atom Integration: Redesigning Device Models for Universal Quantum Ecosystems”

  are presented at the IEEE International Conference on Quantum Computing and Engineering (QCE). Besides that, we are

  • hosting tutorials on
    • “Practical Integration of Cloud-based Quantum Resources via QDMI into HPC-QC Stacks”,
    • “Quantum Software Stacks: Overview, Requirements, and Experiences”, and
    • “MLIR for Quantum-Classical Compilation: Building a Future-Proof Compilation Framework”,
  • organizing and delivering talks in workshops on
    • “What Circuits Do You Actually Need? On-Demand Benchmark Generation with MQT Bench”, and
    • “Compilation, Emulation and Verification for Neutral Atom Computing”,
  • presenting works as posters on
    • “Guiding Compiler Optimizations for Neutral Atom Quantum Computers Through Visualizations”,
    • “Visualizing Shuttling in Trapped-Ion Quantum Computers for Compiler Optimizations”,
    • “Quantum Benchmark Generation for Software Evaluation, Hardware Design, and AI Training”, and
    • “QECirc: A Community-Driven, FAIR Library of Quantum Error Correction Circuits”,
  • and participating in a panel discussion on “Enabling Programming Abstractions for More Effective Quantum Development”.

• Sep 11, 2026: Mei-Ling Fang successfully completed the Master thesis entitled “Federated Causal Discovery with Probabilistic Circuits: Towards Scalable, Privacy-Preserving Structural Learning”. Congratulations!

• Sep 10-17, 2026: Prof. Omar Paranaiba Vilela Neto from UFMG, Brazil, visits us as a TUM Global Visiting Professor.

• Sep 10, 2026: Our work on “LOADBench: A Large Open Analog Dataset and Benchmark for Machine Learning in IC Design” has been awarded the Best Artifact Award at the International Symposium on Machine Learning for CAD (MLCAD). Congratulations!

• Sep 08, 2026: Our work on “LASO-BOSS: LLM-driven Analog Sizing Optimization via Bayesian Optimization and Sizing Strategies” is presented at the International Symposium on Machine Learning for CAD (MLCAD).

• Sep 3-4, 2026: Stefan Engels presents our work on “Time-Aware A* for Optimal Train Routing on Moving Block Systems” at the Symposium on Algorithmic Approaches for Transportation Modeling, Optimization and Systems (ATMOS).

• Sep 01, 2026: Maxie Helen Bichmann successfully completed the Bachelor thesis entitled “Automated Equivalence Checking of Stabilizer Codes”. Congratulations!

• Aug 28, 2026: Sebastian Ludwig successfully completed the Bachelor thesis entitled “Event-Based Simulation of Modern Railway Networks”. Congratulations!

• Aug 21, 2026: Kardam Gregov successfully completed the Master thesis entitled “Determining the Sufficient Number of Shots for Noisy Quantum Devices”. Congratulations!

• Aug 11, 2026: Linus Bohle successfully completed the Bachelor thesis entitled “MQT FlowViz: Interactive Visualization of Quantum Compilation Runs”. Congratulations!

• Jul 30, 2026: We hosted the NP4 Site Visit, where key players from the Munich Quantum Valley (MQV) came together to talk about quantum computing software. Some impressions from the meeting are provided in this video.

• Jul 26-29, 2026: Erik Weilandt, Laura Herzog, and Yannick Stade present our work on

  • “Minimizing the Number of Code Switching Operations in Fault-Tolerant Quantum Circuits”
  • “Search Smarter, Not Harder: A Scalable, High-Quality Zoned Neutral Atom Compiler”, and
  • “Exploiting Movable Logical Qubits for Lattice Surgery Compilation”

  at the Design Automation Conference (DAC), respectively. Additionally, Yannick Stade presents his work on “Guiding Compiler Optimizations for Neutral Atom Quantum Computers Through Visualizations” as a work-in-progress poster and participates in the PhD Forum. You can also watch our video from the event here.

• Jul 24, 2026: Ioan-Albert Florea successfully completed the Master thesis entitled “Connecting Quantum Software Stacks - MQSS and QCI Connect”. Congratulations!

• Jul 23, 2026: Lukas Burgholzer receives the High-Tech Young Talent Award of the Bavarian State Ministry of Science and the Arts as part of the Bavarian Hightech Awards 2026 for research achievements displaying a particularly high innovation potential and promising successful practical implementation of scientific results, and is featured in

  • a video by the Wissenschafts- und Kunstministerium Bayern (StMWK),
  • a press release by Bayerische Staatsregierung,
  • a press release by the Wissenschafts- und Kunstministerium Bayern (StMWK),
  • a video by Bayerischer Rundfunk (BR24) at minute 01:36, and
  • our own news.

• Jul 13-18, 2026: Our works on

  • “Robust Shuttling Compilation for Trapped-Ion Quantum Computers”,
  • “A Framework for the Efficient Evaluation of Runtime Assertions on Quantum Computers”,
  • “Fidelity-Based Quantum Device Selection Using Graph Neural Networks”, and
  • “Automatic De-Quantization of Quantum Programs Using Constant Propagation”

  are presented at the IEEE International Conference on Quantum Software (IEEE QSW).

• Jul 13–17, 2026: Yannick Stade gives a talk on “Neutral Atom Compilation and SMT Solving” at the workshop “Automated Reasoning for Quantum Mechanics” at the Lorentz Center.

• Jul 13, 2026: Marcel Walter gives an invited talk on “From Logic to Atoms: Design Automation for Atomic-Scale Computing” at Zhufei Chu’s group at Ningbo University.

• Jul 7-10, 2026: Anisha Chowdhury presents our works on

  • “Abstract Simulation of Droplet Propagation in Microfluidic Channels”, and
  • “A Local Dynamic Update Scheme for Stable Multi-Abstraction-Level Simulation of Large-Scale Microfluidic Devices”

  at the IEEE Computer Society Annual Symposium on VLSI (IEEE ISVLSI).

• Jul 5-8, 2026: Our works on

  • “Operational Domain Sketching for Silicon Dangling Bond Logic”,
  • “Holistic Physical Design for Silicon Atomic Logic”
  • “Toward Compact Planar Circuits for Atomic-Scale Computing: A Hybrid Crossing Elimination Flow”,
  • “Minimizing Area and Delay in Planar Physical Design for Field-coupled Nanocomputing”,
  • “Design and Emulation Methodology for Atomic-Scale Systolic Arrays: An LLM Accelerator Case Study in Silicon DB Logic”, and
  • “BitPlanarNet: Learning-to-Layout Planar Gate Networks for Emerging Devices”,

  are presented at the IEEE International Conference on Nanotechnology (IEEE NANO).

• Jul 1, 2026: Johannes Frank and Paul Faehrmann from Walrus Computing visit us and give a talk on software for fault-tolerant quantum computing.

• Jun 26, 2026: Anatol Bußejahn successfully completed the Bachelor thesis entitled “Advancing Quantum Circuit Translation and Optimization in the MQT Compiler Collection”. Congratulations!

• Jun 26, 2026: Li-ming Bao successfully completed the Master thesis entitled “Structured Control Flow in Quantum Dialect Conversion: From High-Level Code to Executable QIR”. Congratulations!

• Jun 22-26, 2026: Our works on

  • “Standardizing Access to Heterogeneous Quantum Backends: A Case Study on Cloud Service Integration with QDMI” at the “HPC on Heterogeneous Hardware (H3)” workshop, and
  • “QDMI Meets IQM: Turning Quantum Hardware into a First-Class HPC Resource” at the “5th Workshop on Quantum and Hybrid Quantum/Classical Computing Approaches”

  are presented at the ISC High Performance conference.

• Jun 22-25, 2026: Yudong Sun presents our research on “Fault-Tolerance-Aware Compilation of the Bacon-Shor Code” as a poster at the Munich Center for Quantum Science and Technology (MCQST) Summer School 2026 in Sonthofen, Germany.

• Jun 10, 2026: Robert Wille is featured on The Superposition Guy’s Podcast and talks about quantum computing software, the transition from research to real-world applications, and why software will ultimately determine whether quantum computing becomes practically usable.

• Jun 10, 2026: We hosted a delegation from the Taiwan Quantum Program Office (TQPO) and had a nice exchange about quantum computing software.

• May 31, 2026: Marcel Walter has been appointed Program Co-Chair for the International Workshop on Logic & Synthesis (IWLS) 2027.

• May 30-31, 2026: Our works on

  • “A Framework for Post-Mapping Feedback-Guided Selective Logic Transformations”,
  • “AIG2PT: A Generative Pre-trained Transformer for Unconditional And-Inverter Graph Synthesis”, and
  • “aigverse: A Unified Infrastructure for Machine Learning-Driven Logic Synthesis”

  are presented at the International Workshop on Logic & Synthesis (IWLS).

• May 29, 2026: Carolina Schäfer successfully completed the Bachelor thesis entitled “Decomposition and Scheduling of Quantum Gates for Neutral Atom Quantum Computers”. Congratulations!

• May 29, 2026: Mohamed Amine Abidi successfully completed the Bachelor thesis entitled “Improved Routing in Lattice Surgery Compilation”. Congratulations!

• May 19-21, 2026: Our work on “A Framework to Formulate Pathfinding Problems for Quantum Computing” is presented at the International Symposium on Multiple-Valued Logic (ISMVL).

• May 10, 2026: Our book “Design Automation Tools and Software for Quantum Computing: Inside the Munich Quantum Toolkit” has been published by Springer.

• Apr 30, 2026: Martina Moncolova successfully completed the Master thesis entitled “Macroscopic Effects of Numerical Choices in Quantum Simulation with the Time-dependent Variational Principle”. Congratulations!

• Apr 30, 2026: The Munich Quantum Valley (MQV) ecosystem, of which we are a part, is featured in a recent article in VDI nachrichten.

• Apr 30, 2026: A video summarizing our attendance and contributions to the Design, Automation and Test in Europe Conference (DATE 2026) is now available on Youtube.

• Apr 29, 2026: Sarah Seifi successfully defended her dissertation entitled “Explainable and Interpretable AI for Sensing Applications”. Congratulations!

• Apr 29, 2026: Fiona Fröhler, Yannick Stade, and Yudong Sun visit experimentalists at the Max Planck Institute for Quantum Optics in Garching.

• Apr 29, 2026: Yannick Stade gives a talk on “A Scalable, High-Quality Zoned Neutral Atom Compiler” at the quantum start-up planqc in Garching near Munich.

• Apr 28, 2026: Robert Wille and Simon Hofmann took part in the FullStaQD Community Workshop and presented our work on “The MQT Compiler Collection: A Blueprint for a Future-Proof Quantum-Classical Compilation Framework” and “Practical HPCQC Integration with QDMI: A Real-Hardware Case Study with IQM Systems”.

• Apr 27, 2026: Robert Wille gives a keynote on “Quantum Computing Is Coming: Why We Now Need Design and Diagnostics Expertise” at the International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS).

• Apr 26, 2026: Ludwig Schmid, Tom Peham, and Robert Wille have been awarded a Unitary Fund grant for the community project “QECirc.com”.

• Apr 20-22, 2026: Our works on

  • “Quantum Circuit Compilation for Superconducting Bus-Resonator Architectures”,
  • “Alternating ZX Circuit Extraction for Hardware-Adaptive Compilation”,
  • “Quantum Hardware-Efficient Selection of Auxiliary Variables for QUBO Formulations”,
  • “Exact Synthesis with Optimal Switching Activity”, and
  • “The MQT Compiler Collection: A Blueprint for a Future-Proof Quantum-Classical Compilation Framework”

  are presented at the Design, Automation and Test in Europe (DATE). We also:

  • participated in a panel discussion “European Startups on Quantum – Is the Breakthrough Near?” and
  • organized a focus session “MLIR, QIR, and Other Intermediate Representations – Towards Production-Ready Compilation for Quantum Computing” with speakers from NVIDIA, Xanadu, Quantinuum, QUDORA, and the Munich Quantum Software Company.

• Apr 21, 2026: Laura Herzog presents our work on “Rethinking Lattice Surgery Compilation” as a talk and Erik Weilandt presents our work on “Minimizing the Number of Code Switching Operations in Fault-Tolerant Quantum Circuits” as a poster at Quantum Computing Theory in Practice (QCTiP) 2026.

• Apr 16, 2026: Jakob Fuchs successfully completed the Bachelor thesis entitled “Connectivity-Aware Synthesis of Fault-Tolerant State Preparation Circuits”. Congratulations!

• Apr 14, 2026: Robert Wille gave a talk at the event „Quantencomputing – von der Forschung in die Praxis“ organized by vbw – Vereinigung der Bayerischen Wirtschaft e. V. in cooperation with the Munich Quantum Valley. See a brief summary video here.

• Mar 26, 2026: Yannick Stade takes part in the “Reference Architecture Workshop” as part of the FullStaQD project.

• Mar 24, 2026: Tamino Bauknecht successfully completed the Master thesis entitled “Leveraging LLVM and MLIR for Quantum Circuit Compilation and Optimization”. Congratulations!

• Mar 19, 2026: Ludwig Schmid visits QuEra Computing and gives a talk on the Munich Quantum Toolkit.

• Mar 13, 2026: Our contribution “Quantum Computing needs Classical Software” to the lecture series “What if… How could quantum computing change computer science?” has been published by the Gesellschaft für Informatik e.V.

• Mar 08–13, 2026: Yannick Stade takes part in the seminar on Schloss Dagstuhl entitled “Formal Analysis and Verification in Quantum Programming Languages”.

• Mar 06, 2026: Nils Quetschlich receives the Walter Gademann Dissertation Prize for the dissertation “Supporting End Users: Methodologies and Software Tools to Develop Quantum Computing Solutions”. Congratulations!

• Mar 05, 2026: Our experiences from the organization of ICCAD 2025 have been summarized in “Conference Report ICCAD 2025: First Time Outside the USA and a Record-Breaking Edition” published in IEEE Design & Test.

• Mar 03, 2026: Robert Wille gives a keynote on “Connecting End Users to Quantum Hardware: The Role of Software” at the Quantum Connect 2026.

• Mar 02, 2026: Robert Wille gives a talk on “Software for Quantum Computing” at a meeting of the Münchener Kreis.

• Mar 02, 2026: Robert Wille has been appointed member of the Program Committee of the IEEE International Conference on Quantum Software (QSW 2026).

• Feb 27, 2026: Maria Emmerich gives an invited talk about “Building Design Automation Tools for Organs-on-Chip: Why Standards Matter” at the workshop “Challenges to Translation in Microfluidics and Organ-on-Chip” in Glasgow, UK.

• Feb 27, 2026: The integration of our Munich Quantum Toolkit into Xanadu’s tools PennyLane and Catalyst is featured in

  • a press release by Xanadu and us,
  • a news article by MQV, as well as
  • several news outlets.

• Feb 23 - Mar 12, 2026: Prof. Omar Paranaiba Vilela Neto from UFMG, Brazil, visits us as a TUM Global Visiting Professor.

• Feb 23, 2026: Patrick Hopf presents our work on “Integrating Quantum Software Tools with(in) MLIR” at the Q-STAV workshop in Bern, co-located with the GI Software Engineering Tagung (SE).

• Feb 19, 2026: Julian Shen successfully completed the Master thesis entitled “Compilation Techniques for Spin Qubit Quantum Computers”. Congratulations!

• Feb 09, 2026: Krishnakumar Sabapathy from Fujitsu Research India visits us and gives a talk on “Quantum Machine Learning at Fujitsu”.

• Feb 06, 2026: Chrissa Philip successfully completed the Bachelor thesis entitled “A Study on Graph Representations for GNN-based Analog Circuit Completion”. Congratulations!

• Feb 05, 2026: Matthias Reumann successfully completed the Master thesis entitled “Quantum Circuit Mapping using MLIR”. Congratulations!

• Feb 01, 2026: Jiang Long successfully completed the Master thesis entitled “Deep Learning-based Radar and Camera Fusion for Depth Estimation”. Congratulations!

• Jan 28, 2026: Tom Peham gives an invited talk about “Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction” at the group seminar of Michael Hartmann (Chair of Theoretical Physics, Friedrich-Alexander-University of Erlangen–Nuremberg, Germany).

• Jan 26–29, 2026: We attend the Supercomputing Asia and International Conference on High Performance Computing in Asia (SCA/HPC Asia) in Osaka, Japan where

  • Lukas Burgholzer gives a talk about “Automated Approaches for Quantum Software-Hardware Co Design” at the Workshop on Software and Hardware Co-design of Deep Learning Systems in Future Architectures,
  • Patrick Hopf presents our research on “Integrating Quantum Software Tools with(in) MLIR”, and
  • Lukas Burgholzer presents our work “The Munich Quantum Software Stack: Connecting End Users, Integrating Diverse Quantum Technologies, Accelerating HPC” in the Research Session on Quantum Software & Tooling.

• Jan 26, 2026: Simon Hofmann successfully defended his dissertation entitled “Physical Design for Field-coupled Nanocomputing”. Congratulations!

• Jan 21, 2026: Abtin Molavi from University of Wisconsin-Madison visits us and gives a talk on “Qubit Mapping and Routing for an Evolving Quantum Computing Landscaping”.

• Jan 17, 2026: Our work on “Improving Decision Diagram-based Quantum Circuit Simulation using Static Variable Ordering and Multi-node Ring Communication” has been published in the IEEE Transactions on Quantum Engineering.

• Jan 15, 2026: Jan Drewniok successfully defended his dissertation entitled “Design and Simulation of Atomic-Scale Computing: A Comprehensive Framework for Physical Simulation, Logic Design, Logic Analysis, and Circuit Design”. Congratulations!

• Jan 15, 2026: Samuel Sze Hang Ng (University of British Columbia) visits us for an exchange on Design Automation for Nanotech. He gives a talk on “A Design Automation Stack for Atomic-Scale Computing”.

• Jan 13, 2026: Marcel Walter has been appointed member of the Technical Program Committee and as the Publicity co-Chair for the International Workshop on Logic & Synthesis (IWLS 2026).

• Jan 09, 2026: Robert Wille has been appointed member of the Technical Program Committee for the International Workshop on Logic & Synthesis (IWLS 2026).

• Jan 02, 2026: Robert Wille speaks about ICCAD 2025, which we helped organize, in an interview at PLUS.

2025

• Dec 24, 2025: Our work on “An Open-Source Slicer for 3D mSLA Printing of Microfluidic Chips” has been published in Scientific Reports.

• Dec 15-19, 2025: We did a 5-day retreat with the group. A brief summary video is now online.

• Dec 12, 2025: Lucas Berent successfully defended his dissertation entitled “Advancing quantum error-correction with quantum low-density parity-check codes”. Congratulations!

• Dec 03-05, 2025: Alexander Helber (RWTH Aachen University) and Lars Jäger (Leibniz University Hannover) visit us for an exchange on Optimization Methods and Design Automation for ETCS. They give talks on “Arc-Based Dynamic Discretization Discovery for Continuous-Time Service Network Design” and “Optimization of Delivery to Parcel Stations” respectively.

• Dec 03, 2025: Michael Feldmeier successfully completed the Master thesis entitled “Exploring Feedback-Guided AIG Optimization to Align Logic Synthesis with Mapping Objectives”. Congratulations!

• Nov 28, 2025: Laura Herzog 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).

• Nov 28, 2025: Shaobo Zhou successfully completed the Master thesis entitled “Quantum Circuit Compilation with Reinforcement Learning”. Congratulations!

• Nov 25, 2025: Marcel Walter and Simon Hofmann present an IEEE Nanotechnology Council Young Professionals webinar on “Atomic-Scale Computing: Chip Design for Field-coupled Nanotechnologies.”

• Nov 21, 2025: Our work on “MoRAL: Motion-aware Multi-Frame 4D Radar and LiDAR Fusion for Robust 3D Object Detection” has been awarded the Best Student Paper Award at the IEEE International Conference on Intelligent Transportation Systems (ITSC). Congratulations!

• Nov 16-21, 2025: We attend the Supercomputing Conference (SC25) in St. Louis, Missouri, where

  • Lukas Burgholzer and Patrick Hopf hold a tutorial on “Connecting the HPC and the Quantum Communities”,
  • Lukas Burgholzer gives a flash talk about “The Munich Quantum Software Stack: Connecting End Users, Integrating Diverse Quantum Technologies, Accelerating HPC” at the IQM exhibition booth,
  • Lukas Burgholzer presents our research “Towards Supporting QIR: Steps for Adopting the Quantum Intermediate Representation” in the “Workshop for Software Frameworks and Workload Management on Quantum-HPC Ecosystems” and participates in a panel.

• Nov 14, 2025: Our work on “Large-scale stochastic simulation of open quantum systems” has been published in Nature Communications.

• Nov 13, 2025: Firas Koubaa successfully completed the Master thesis entitled “Error detection based on vehicle communication data using artificial intelligence”. Congratulations!

• Nov 12-14, 2025: Lukas Burgholzer and Patrick Hopf participate in the IBM Quantum Developer Conference (QDC25), Atlanta, Georgia.

• Nov 10-12, 2025: Yannick Stade presents his work on “Compilation Support for Zoned Neutral Atom-based Quantum Computers” at the European Quantum Technologies Conference (EQTC) in Copenhagen.

• Nov 05, 2025: Our work on “Bridging the Gap Between Molecular FCN and Design Automation with SIM(7)-MolPDK: A Physically Simulated Standard-Cell Library” is presented at the IEEE Latin American Conference on Nanotechnology (IEEE LANANO).

• Nov 03-06, 2025: Our work on

  • “Expediting Design and Implementation of Microfluidic Liquid Routing for Organ-on-a-Chip Application”,
  • “Computational Toolset for Fluidic Network-to-Layout Translation Applied in FCB Design for Chemical Gradients in Parallelized Organ-on-Chips”,
  • “An Open-Source Rapid Simulator for Concentrations in Channel-Based Microfluidic Devices”, and
  • “Computational Facilitation of Large Scale Microfluidic Fuel Cell Architectures - Powering the Future”

  is presented at the microTAS 2025 conference.

• Nov 03, 2025: Kevin Mato successfully defended his PhD thesis entitled “MQT Qudits: Simulation and Compilation for Mixed-Dimensional Quantum Computing”. Congratulations!

• Oct 27 – 30, 2025: Our work on

  • “Automatic Design for Modular Microfluidic Routing Blocks”, and
  • “Routing-Aware Placement for Zoned Neutral Atom-based Quantum Computing”

  is presented at the Int’l Conference on Computer-Aided Design (ICCAD) in Munich. Besides that we hosted a special session on “Bridging the Gap: Design Automation Meets Microfluidics” where we presented our work on “The Munich Microfluidic Toolkit: Design Automation and Simulation Tools for Microfluidic Devices”.

• Oct 21, 2025: Our Best Paper Award at the IEEE International Conference on Quantum Computing and Engineering (QCE) is covered in the news of TUM School of Computation, Information and Technology.

• Oct 17, 2025: Li-ming Bao successfully completed the Interdisciplinary Project (IDP) entitled “Quantum Circuit Optimizations within the MLIR Framework”. Congratulations!

• Oct 08, 2025: Our work on “Graph-Oriented Layout Design for Field-coupled Nanocomputing via Parallel Multi-Objective Search Space Exploration” has been published in the IEEE Transactions on Circuits and Systems I: Regular Papers (TCAS-I).

• Oct 06, 2025: Hannes Sochor successfully defended his PhD thesis entitled “Fuzzing-based Grammar Inference for Context-free Languages”. Congratulations!

• Oct 02, 2025: Robert Wille has been appointed member of the Program Committee for the 3rd International Workshop on Quantum Software-Engineering Tools, Algorithms & Verification (Q-STAV 2026), co-located with SE 2026 in Bern.

• Sep 30 - Oct 2, 2025: Patrick Hopf, Yannick Stade, Damian Rovara, Lukas Burgholzer, and Robert Wille participate in the Annual Meeting of the Munich Quantum Valley (MQV) in Eichstätt and present their contributions within the Munich Quantum Valley on

  • Supporting End-Users in Realizing Quantum Computing Applications,
  • Integrating Quantum Software Tools with(in) MLIR, and
  • Advances in Compilation for Neutral Atom-based Quantum Computing.

• Sep 23-26, 2025: Stefan Engels presents our research on “Using A∗ for Microscopic Train Routing on Moving Block Systems” at the International Workshop on Algorithmic Optimization in Trier, Germany (see this page for more details on the topic).

• Sep 25, 2025: Anass Ibrahimi successfully completed the Master thesis entitled “Explainable Gesture Recognition: A Counterfactual Approach to Interpreting Deep Neural Networks for Radar Sensor-based Classification”. Congratulations!

• Sep 19, 2025: Robert Wille gives a talk on “Learning from the Classical Realm: Leveraging MLIR for a Modular Quantum Compilation Infrastructure” at GI Quantum Computing Workshop.

• Sep 18-19, 2025: Our work on “Using A* for Optimal Train Routing on Moving Block Systems” is presented at the Symposium on Algorithmic Approaches for Transportation Modeling, Optimization and Systems (ATMOS).

• Sep 15, 2025: Raphael Bartelmus successfully completed the Master thesis entitled “Computational Fluid Dynamic Analysis of the Aortic Root and Coronary Arteries”. Congratulations!

• Sep 14-17, 2025: Our work on “Towards Optimal Train Routing Using Microscopic Simulation on Moving Block Controlled Networks” is presented at the Conference on Computer Science and Intelligence Systems (FedCSIS).

• Sep 12, 2025: Fiona Fröhler successfully completed the Master thesis entitled “Graph Partitioning Algorithms for Circuit Cutting”. Congratulations!

• Sep 12, 2025: Paul Wiese successfully completed the Bachelor thesis entitled “Classical Equivalence Checking with Quantum Computing Using Grover’s Algorithm”. Congratulations!

• Sep 08-12, 2025: Patrick Hopf presents our work on “Connecting Quantum Tools with(in) MLIR” during the MLIR (Un)School at Cambridge University.

• Sep 10, 2025: Our work on “GENIE-ASI: Generative Instruction and Executable Code for Analog Subcircuit Identification” is presented at the International Symposium on Machine Learning for CAD (MLCAD).

• Sep 06-07, 2025: Erik Weilandt and Yannick Stade present our work on “Synthesis of Fault-tolerant State Preparation Circuits using Steane-type Error Detection” and “Routing-Aware Placement for Zoned Neutral Atom Quantum Computers” at the 7th Int’l Workshop on Quantum Compilation (IWQC).

• Sep 04, 2025: Robert Wille has been appointed member of the Program Committee for the International Workshop on Quantum Software Engineering (Q-SE 2026).

• Sep 03, 2025: Our work on “Automatically Refining Assertions for Efficient Debugging of Quantum Programs” has been awarded the Best Paper Award (2nd Place) at the IEEE International Conference on Quantum Computing and Engineering (QCE).

• Sep 03, 2025: Our work on “Localized statistics decoding for quantum low-density parity-check codes” has been published in Nature Communications.

• Sep 02, 2025: Our work on “QuickCell: Fast Automatic Design of Standard Cells for Silicon Dangling Bond Logic” has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).

• Aug 31-Sep 05, 2025: Our works on

  • “Lattice Surgery Compilation Beyond the Surface Code”,
  • “Quantum Entrepreneurship Lab: Training a Future Workforce for the Quantum Industry”,
  • “Orchestrating Multi-Zone Shuttling in Trapped-Ion Quantum Computers”,
  • “Quantum Circuit Optimization for the Fault-Tolerance Era: Do We Have to Start from Scratch?”,
  • “Improving Hardware Requirements for Fault-Tolerant Quantum Computing by Optimizing Error Budget Distributions”, and
  • “Automatically Refining Assertions for Efficient Debugging of Quantum Programs”

  are presented at the IEEE International Conference on Quantum Computing and Engineering (QCE). Besides that, we are

  • hosting a tutorial on “Quantum Software Stacks: Overview, Requirements, and Experiences”,

  • organizing and delivering talks in workshops on

    • “Advanced Simulations of Quantum Computations”,
    • “Care and Maintenance of Quantum Software Stakeholders”,
    • “Quantum Software 2.1: Open Problems, New Ideas, and Paths to Scale”, and
    • “Enabling Programming Abstractions for More Effective Quantum Development”,

  • giving an invited talk at the unitaryCON event hosted by the Unitary Foundation, and

  • moderating a panel on “Quantum Computing Software Stacks: What’s accomplished & what’s left to do”.

• Aug 25, 2025: Lukas Burgholzer gives an invited talk on “SAT for Quantum: From Circuit Mapping over Clifford Synthesis to Optimal State Preparation for Neutral Atom Architectures” at the First Workshop on Formal Methods in Quantum Computing (FMQC) in Aarhus, Denmark.

• Aug 20-22, 2025: Maria Emmerich visits the University of Twente and gives a talk on “Design Automation and Simulation for Microfluidic Devices”.

• Aug 18, 2025: Tom Peham visits JPMorgan Chase and gives a talk on “Automated Synthesis of Fault-tolerant State Preparation Circuits”.

• Aug 12, 2025: Our works

  • “Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes”,
  • “Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability”, and
  • “Lattice Surgery Compilation Beyond the Surface Code”

  are presented as posters at the 7th International Conference on Quantum Error Correction (QEC).

• Aug 04-06, 2025: Stefan Engels presents our research on “Design Automation and Optimization for Modern Train Control Systems” at the 28th Workshop on Future Research in Combinatorial Optimization (FRICO) in Aachen, Germany (see this page for more details on the topic).

• Jul 29, 2025: We released version 2.3 of our MQT Predictor as part of the Munich Quantum Toolkit (MQT) with many new features and improvements.

• Jul 16, 2025: Our work on “Building a Machine Learning Accelerator with Silicon Dangling Bonds: From Verilog to Quantum Dot Layout” has been awarded the Best Student Paper Award at the IEEE International Conference on Nanotechnology (IEEE NANO). Congratulations!

• Jul 16, 2025: Jan Drewniok won the Student Design Competition at the IEEE International Conference on Nanotechnology (IEEE NANO) with his work “NanoLogic: An Educational App for Atomic-Scale Computing”. Congratulations!

• Jul 16, 2025: Jan Drewniok participates in the Student Design Competition at the IEEE International Conference on Nanotechnology (IEEE NANO) with his work “NanoLogic: An Educational App for Atomic-Scale Computing”.

• Jul 16, 2025: Lorenzo Servadei successfully completed his habilitation entitled “Machine Learning for Signal Processing and System Design”. Congratulations!

• Jul 14, 2025: Our works on

  • “The Operational Domain Explorer: A Comprehensive Framework to Unveil the Thermal Landscape of Silicon Dangling Bond Logic Beyond Conventional Operability”,
  • “MNT Designer: A Comprehensive Design Tool for Field-Coupled Nanocomputing”,
  • “A Fully Planar Approach to Field-coupled Nanocomputing: Scalable Placement and Routing Without Wire Crossings”, and
  • “Building a Machine Learning Accelerator with Silicon Dangling Bonds: From Verilog to Quantum Dot Layout”

  are presented at the IEEE International Conference on Nanotechnology (IEEE NANO).

• Jul 10, 2025: Aaron Sander gives an invited talk on “Large-scale stochastic simulation of open quantum systems” at BeyondQubit 2025.

• Jul 10, 2025: Our works on

  • “Shuttling for Trapped-Ion Quantum Computers with Embedded Processing Zones”,
  • “A Framework for Debugging Quantum Programs”,

  are presented at the IEEE International Conference on Quantum Software (IEEE QSW).

• Jul 04, 2025: Our work on “Design tasks and their complexity for the European Train Control System with Hybrid Train Detection” has been published in the EURO Journal on Transportation and Logistics.

• Jul 04, 2025: Benjamin Liertz successfully completed the Bachelor thesis entitled “Development of an Open-Source SLA Slicer for Optimizing Microfluidic Chip Fabrication”. Congratulations!

• Jul 03, 2025: A video by Labs Talk “From the Lab to the Business-Application: The Quantum Tech Stack Explained” featuring Robert Wille has been streamed.

• Jul 02, 2025: Marcel Walter gives an invited talk on “aigverse: Toward Machine Learning-Driven Logic Synthesis” at the Free Silicon Conference (FSiC).

• Jul 01, 2025: Nils Quetschlich successfully defended his PhD thesis entitled “Supporting End Users: Methodologies and Software Tools to Develop Quantum Computing Solutions”. Congratulations!

• Jun 29, 2025: Robert Wille has been appointed member of the Program Committee for the Design Automation and Test in Europe Conference (DATE).

• Jun 24, 2025: We released version 2.0 of our benchmarking library MQT Bench as part of the Munich Quantum Toolkit (MQT) with many new features and improvements.

• Jun 23, 2025: Our work on “Joint Cutting for Hybrid Schrödinger-Feynman Simulation of Quantum Circuits” has been presented at the Design Automation Conference (DAC).

• Jun 18, 2025: Lukas Burgholzer gives a talk on “The Munich Quantum Toolkit (MQT)” at the Unitary Foundation’s Quantum Wednesday seminar series.

• Jun 13, 2025: Our work on “Equivalence checking of quantum circuits via intermediary matrix product operator” has been published in Physical Review Research.

• Jun 13, 2025: Chih-Hsiao Yeng successfully completed the Master thesis entitled “Automated and Time-Efficient Placement of ETCS L2 Data Points of Type 60 in ProVI LST”. Congratulations!

• Jun 12, 2025: Our work on “Ashenhurst-Curtis Decomposition Using Don’t Cares” has been presented at the International Workshop on Logic & Synthesis (IWLS).

• Jun 10-13, 2025: We attend the ISC High Performance conference in Hamburg, where Lukas Burgholzer gives a talk on “Connecting Quantum Hardware and Software: The Quantum Device Management Interface (QDMI)” at the “Quantum Resources for Unified Computing Hub (QRUCH)” workshop.

• Jun 10, 2025: Maria Emmerich presents our work on “Design Automation for Spheroid Traps” at the MPS summit in Brussels, Belgium (see this page for more details on the topic).

• Jun 06, 2025: Marcel Walter has joined the Single Molecule Electronics Research Alliance and Interdisciplinary Network (SMERALDO) as a full member.

• Jun 04-06, 2025: Aaron Sander, Tom Peham, Daniel Schönberger, and Ludwig Schmid present our work at the Munich Conference on Quantum Science & Technology.

• May 28, 2025: Robert Wille gives a keynote on “Fault-Tolerant Quantum Computing: Why the ETS Community Should Get Involved!” at the IEEE European Test Symposium (ETS).

• May 28, 2025: Our works on

  • “QuickTrace: An Efficient Contour Tracing Algorithm for Defect Robustness Simulation of Silicon Dangling Bond Logic”,
  • “Live Demonstration: An Application for Layout Resilience Analysis of Silicon Dangling Bond Logic”

  are presented at the IEEE International Symposium on Circuits and Systems (ISCAS).

• May 20, 2025: Lukas Burgholzer gives an invited talk on “Software for Quantum Computers: New horizons with proven methods” as part of the Pint of Science event in Munich.

• May 20, 2025: Ludwig Schmid gives a talk on “Synthesizing Fault-tolerant Clifford Circuits using Boolean Satisfiability” at the seminar of the Dipartimento di Matematica of the University of Bologna.

• May 14, 2025: Our work on “Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error-Correction Codes” has been published in Physical Review X Quantum (PRX Quantum).

• May 06, 2025: Lukas Burgholzer gives an invited talk on “Software Engineering” in the Quantencomputing Ringvorlesung “What if…” at the Heilbronn University.

• Apr 27, 2025: Nils Quetschlich has mentored a team that has been awarded the second place at the NYUAD International Hackathon for Social Good. Congratulations!

• Apr 25-27, 2025: Nils Quetschlich participates as a mentor at the 13th NYUAD International Hackathon for Social Good focusing on Quantum Computing at the New York University in Abu Dhabi.

• Apr 23, 2025: Our work on “Localized statistics decoding” is presented at Quantum Computing Theory in Practice (QCTIP) 2025 as a talk and our works on

  • “Joint Cutting for Hybrid Schrödinger-Feynman Simulation of Quantum Circuits”,
  • “Improving Quantum and Classical Decomposition Methods for Vehicle Routing”, and
  • “Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes”

  are presented as posters

• Apr 20-25, 2025: Erik Weilandt presents his work on “Synthesis of Fault-tolerant State Preparation Circuits using Steane-type Error Detection” at the FTQC workshop by Alice&Bob and CEA in Les Houches, France (see this page for more details on the topic).

• Apr 11, 2025: Severin Lochschmidt successfully completed the Master thesis entitled “Integrated Train Timetabling and Line Planning using Microscopic Moving Block Simulation”. Congratulations!

• Apr 07, 2025: Our work on “MQT Core: The Backbone of the Munich Quantum Toolkit (MQT)” has been published in the Journal of Open Source Software (JOSS).

• Apr 04, 2025: Haoxiang Yang successfully completed the Master thesis entitled “Quantifying Driver Experience with L2/L2+ Advanced Driver Assistance Systems in Urban Scenarios Using AI Models”. Congratulations!

• Apr 01-04, 2025: Stefan Engels presents our research on “Design Automation for ETCS” as a poster at the 11th International Conference on Railway Operations Modelling and Analysis in Dresden, Germany (see this page for more details on the topic).

• Apr 01, 2025: Lukas Burgholzer has been awarded the EDAA Outstanding Dissertation Award 2025 for his dissertation “Design Automation Tools and Software for Quantum Computing”. Congratulations!

• Mar 31-Apr 02, 2025: Our works on

  • “Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers”,
  • “Improving Figures of Merit for Quantum Circuit Compilation”,
  • “Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability”,
  • “Bias by Design: Diversity Quantification to Mitigate Structural Bias Effects in AIG Logic Optimization”,
  • “Towards Fast Automatic Design of Silicon Dangling Bond Logic”, and
  • “Late Breaking Results: Physical Co-Design for Field-coupled Nanocomputing”

  are presented at the Design, Automation and Test in Europe (DATE).

• Mar 31, 2025: Jan Drewniok has been awarded the Best Poster Award at the PhD Forum at DATE 2025 for his work Design and Simulation of Atomic-Scale Computing: Bridging Computer Science, Electrical Engineering, and Physics. Congratulations!

• Mar 31, 2025:

  • Jan Drewniok presents his work on “Design and Simulation of Atomic-scale Computing: Bridging Computer Science, Electrical Engineering, and Physics”,
  • Simon Hofmann presents his work on “Physical Design for Field-coupled Nanocomputing”, and
  • Nils Quetschlich presents his work on “Supporting End Users in Implementing Quantum Computing Applications”

  at the DATE PhD Forum.

• Mar 28, 2025: Nils Quetschlich 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).

• Mar 28, 2025: Deblina Sanyal successfully completed the Master thesis entitled “Physics and Data Informed Design Automation for Complex Microscale Systems”. Congratulations!

• Mar 28, 2025: Tim Scholl successfully completed the Bachelor thesis entitled “Automatic Design and Compliance Validation with the ISO 22916 Standard for Microfluidic Devices”. Congratulations!

• Mar 26, 2025: Georgina Staudt successfully completed the Bachelor thesis entitled “Analyzing the Effects of Error Budget Distributions in Fault-Tolerant Quantum Computing on Hardware Requirements”. Congratulations!

• Mar 25, 2025: Felix Kiefhaber successfully completed the Bachelor thesis entitled “Super-Tile Routing for Omnidirectional Information Flow in Silicon Dangling Bond Logic”. Congratulations!

• Mar 20, 2025: Lukas Burgholzer gives a talk on “Design Automation Tools and Software for Quantum Computing” in the “QuantumBW Colloquium”. Find the recording here.

• Mar 18, 2025: Julius Kramer successfully completed the Bachelor thesis entitled “Automated Quality Analysis of 3D Fabricated Microfluidic Chips”. Congratulations!

• Mar 17-21, 2025: Our work on “Classical Design Techniques for Fault-Tolerant Quantum Circuits” is presented at the APS Global Physics Summit (March Meeting). Furthermore, our work on “Compiler Development for Neutral Atom Quantum Computers” is presented as a poster.

• Mar 14, 2025: Nico Petzendorfer successfully completed the Bachelor thesis entitled “Visualizing Atom Shuttling: A Web Application for Neutral Atom Quantum Computers”. Congratulations!

• Mar 10, 2025: Our work on “An Abstract Simulator for Species Concentrations in Channel-Based Microfluidic Devices” has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).

• Mar 09, 2025: Our work on “Efficient and Scalable Post-Layout Optimization for Field-coupled Nanotechnologies” has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).

• Feb 24-28, 2025: Our work on “Localized statistics decoding: A parallel decoding algorithm for quantum low-density parity-check codes” is presented at the Quantum Information Processing Conference (QIP). Furthermore, our works on

  • “Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers”,
  • “Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes”, and
  • “Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability”

  are presented as posters.

• Feb 28, 2025: Our work on “Physical Design for Field-coupled Nanocomputing with Discretionary Cost Objectives” is presented at the IEEE Latin American Symposium on Circuits and Systems (LASCAS).

• Feb 17-21, 2025: Marcel Walter and Simon Hofmann visit the Universidade Federal de Minas Gerais (UFMG) and give two talks at the Workshop on Nanocomputing:

  • “The Munich Nanotech Toolkit (MNT)”
  • “Advanced Physical Design and Software Tools for Field-coupled Nanocomputing”

• Feb 12, 2025: Jonas Jäger from the University of British Columbia visits us for an exchange on various topics of quantum computing.

• Feb 11, 2025: We released version 0.2 of MNT SiQAD Plugins as part of the Munich Nanotech Toolkit (MNT), offering our latest and greatest physical simulation engine ClusterComplete.

• Feb 01, 2025: We are covered in the broadcasting program “Computer und Kommunikation” by Deutschlandfunk on the topic of quantum computing.

• Jan 29-31, 2025: Lukas Burgholzer participates in the fourth European Quantum Systems and Software Summit (EQS3) in Dublin, Ireland.

• Jan 29, 2025: Our “10-year Retrospective Most Influential Paper Award” is covered in an article by the Munich Quantum Valley.

• Jan 27-31, 2025: Lucas Berent visits the Chalmers University of Technology as WACQT guest researcher.

• Jan 23, 2025: Julian Koch successfully completed the Bachelor thesis entitled “A Scalable and Flexible Quantum Circuit Benchmark Library Architecture”. Congratulations!

• Jan 20, 2025: Our work “Determining the Minimal Number of SWAP Gates for Multi-dimensional Nearest Neighbor Quantum Circuits” published at Asia and South Pacific Design Automation Conference (ASP-DAC) has been awarded a 10-year Retrospective Most Influential Paper Award.

• Jan 17, 2025: A video by the Munich Quantum Valley “Why is the exchange between software and hardware developers so important?” featuring Robert Wille has been launched.

• Jan 17, 2025: Philipp Feneberg successfully completed the Master thesis entitled “Datastructures for the classical simulation of quantum circuits Decision Diagrams (DDs) versus Matrix Product States (MPS)”. Congratulations!

• Jan 15, 2025: Robert Wille has been appointed member of the Program Committee for the Workshop on Quantum Software (WQS 2025).

• Jan 14, 2025: Robert Wille has been appointed Workshop Co-Chair for the IEEE International Conference on Quantum Computing and Engineering (QCE 2025).

• Jan 13-15, 2025: Sonja Bruckner from the Software Competence Center Hagenberg visits us and gives a talk on “Industrial Applications of Quantum Algorithms”.

• Jan 08, 2025: Robert Wille has been appointed Jury Member for the ACM SIGDA Outstanding PhD Dissertation Award (OPDA).

• Jan 04, 2025: Robert Wille has been appointed member of the Technical Program Committee for the International Workshop on Logic & Synthesis (IWLS 2025).

• Jan 02, 2025: We are launching our first startup, the Munich Quantum Software Company (MQSC).

2024

• Dec 19, 2024: Patrick Hopf successfully completed the Master thesis entitled “Machine Learning Guided Quantum Circuit Compilation”. Congratulations!

• Dec 18, 2024: Our book “Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams” has been published by Springer.

• Dec 16, 2024: A video summarizing the Munich Quantum Software Forum is now available at this page.

• Dec 16, 2024: Robert Wille has been appointed member of the Program Committee of the IEEE International Conference on Quantum Software (QSW 2025).

• Dec 15-20, 2024: We participate at the Dagstuhl Seminar on “Quantum Software Engineering” where we present our work on quantum computation.

• Dec 11, 2024: Our work on “Shuttling for Scalable Trapped-Ion Quantum Computers” has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).

• Nov 29, 2024: Our work on “Automated Design for Multi-Organ-on-Chip Geometries” has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).

• Nov 29, 2024: Petar Petrov successfully completed the Master thesis entitled “Beyond Classical Boundaries: Quantum Optimization Strategies for Karp’s 21 NP-Complete Problems”. Congratulations!

• Nov 18-20, 2024: Yannick Stade presents the following two posters at the European Quantum Technologies Conference (EQTC) in Lisbon

  • “Efficient Compilation Strategies for Zoned Neutral Atom Architectures”
  • “QDMI – Quantum Device Management Interface: Hardware-Software Interface for the Munich Quantum Software Stack”

• Nov 18, 2024: Robert Wille has been appointed member of the Program Committee for the Reversible Computation Conference (RC 2025).

• Nov 17-22, 2024: We attend the Supercomputing Conference (SC), where

  • Nils Quetschlich and Lukas Burgholzer hold a tutorial on “Connecting the HPC and the Quantum Community”,
  • Nils Quetschlich presents his work on “Supporting End Users in Implementing Quantum Computing Applications” at the Doctoral Showcase,
  • Lukas Burgholzer participates in a panel on “HPC Meets Quantum Computing”, and
  • we organized a small get-together for the Munich Quantum Software Stack (MQSS) community.

• Nov 13-15, 2024: Lukas Burgholzer participates in the inaugural IBM Quantum Developer Conference at the IBM Thomas J. Watson Research Center.

• Nov 11, 2024: Nils Quetschlich presents a poster on “Supporting End Users in Implementing Quantum Computing Applications” at the MQV Symposium: Towards applications of quantum computing.

• Nov 08, 2024: Yusuke Kibakura successfully completed the Bachelor thesis entitled “Optimal Design of Train Control Systems with Hybrid Train Detection using A*”. Congratulations!

• Nov 08, 2024: Our work on “Analog Information Decoding of Bosonic QLDPC Codes” is presented at the YQIS 2024 conference.

• Nov 06, 2024: Yannick Stade took part in the QC Next Workshop in Berlin to strengthen the collaboration with the German wide quantum ecosystem.

• Nov 01, 2024: Our work on “Modular and Extendable 1D-Simulation for Microfluidic Devices” has been published in Scientific Reports.

• Oct 24-25, 2024: We organized the Munich Quantum Software Forum. Check out the summary on this page!

• Oct 23, 2024: Our work on “Decoding Quantum Color Codes with MaxSAT” has been published in the Quantum Journal.

• Oct 18, 2024: We released version 1.0 of QRogue (see this page for more details on the software and its new features)

• Oct 15, 2024: Robert Wille has been appointed member of the Program Committee for Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2025).

• Oct 13-17, 2024: Our works on

  • “Bridging the Gap: An Open-Source Toolkit for Simulation and Design Automation of Microfluidic Devices”
  • “Design Tool for the Generation of Multi-Organ-on-Chip Geometries”

  are presented at the microTAS 2024 conference.

• Oct 12, 2024: Michael Artner gives a talk on “Teaching Quantum Computing with educational games” at TEDxLinz.

• Oct 11, 2024: Robert Wille has been appointed member of the Program Committee for the International Symposium on Multiple-Valued Logic (ISMVL 2025).

• Oct 11, 2024: Janis Pepe Heims successfully completed the Bachelor thesis entitled “Equivalence checking of quantum circuits using diff algorithms”. Congratulations!

• Oct 10, 2024: Robert Wille has been appointed member of the Program Committee for 2nd Quantum Software Engineering MeetUp (QSE 2025).

• Oct 09, 2024: Robert Wille has been appointed member of the Program Committee for the Quantum Software Engineering Conference (Q-SE 2025).

• Oct 09-11, 2024: Stefan Engels participates in the Autumn School on Constrained Optimization and Machine Learning at Trier University.

• Oct 08-10, 2024: Robert Wille, Lukas Burgholzer, Tom Peham, Ludwig Schmid, and Yannick Stade participate in the MQV Annual Meeting 2024 in Eichstätt and present our contributions within the Munich Quantum Valley. Besides that, we are hosting discussions on the “Munich Quantum Software Stack” and “Supporting End Users in Implementing Quantum Computing Applications and Tooling”. Finally, our works on

  • The Munich Quantum Toolkit (MQT)
  • Supporting End-Users in Realizing Quantum Computing Applications
  • The Munich Quantum Computing Software Stack
  • QDMI – Quantum Device Management Interface: Hardware-Software Interface for the Munich Quantum Software Stack
  • Compiler Development for Neutral Atom-based Quantum Computing

  are presented as posters.

• Sep 30, 2024: Our open-source framework for mixed-dimensional quantum computing (MQT Qudits) made it to the Innovation Radar of the European Commission. MQT Qudits is part of our Munich Quantum Toolkit and can be found on this page.

• 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 24, 2024: Robert Wille gives a talk on “The Munich Quantum Toolkit (MQT)” at the GI Quantum Computing Workshop.

• 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 19, 2024: Our work on “Hamiltonian-based Quantum Reinforcement Learning for Neural Combinatorial Optimization” has been awarded the Best Paper Award (3rd Place) at the IEEE International Conference on Quantum Computing and Engineering (QCE).

• Sep 18, 2024: We won the Best Paper Award (3rd Place) for the paper “Hamiltonian-based Quantum Reinforcement Learning for Neural Combinatorial Optimization” published at the IEEE International Conference on Quantum Computing and Engineering (QCE) by G. Kruse, R. Coelho, A. Rosskopf, R. Wille, and J. Lorenz.

• 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: Robert Wille has been appointed member of the Program Committee for the Design Automation and Test in Europe Conference (DATE).

• 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 09, 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 05, 2024: Marcel Walter has been appointed member of the Program Committee for the IEEE Circuits and Systems Society in Latin America (LASCAS) 2025.

• Jul 04, 2024: Robert Wille gives a keynote on “Fault-Tolerant Quantum Computing: Where Robustness is a Requirement, not a Feature” at the IEEE International Symposium on On-Line Testing and Robust System Design (IOLTS).

• 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 26-28, 2024: Nils Quetschlich participates as a mentor at the 12th NYUAD International Hackathon for Social Good focusing on Quantum Computing at the New York University in Abu Dhabi.

• 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 “Machine learning FOR FMCUO Radar Processing With uncalibrated arrays”. Congratulations!

• Feb 26, 2024: Robert Wille gave a talk on “Quantum Computing Software” at the Quantum Software Engineering MeetUp (co-located with Software Engineering 2024).

• Feb 21, 2024: Robert Wille has been appointed member of the Program Committee for the Workshop on Quantum Software (WQS 2024).

• 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 “Embedded Indoor 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.

• Jan 08, 2024: Robert Wille has been appointed Workshop Co-Chair for the IEEE International Conference on Quantum Computing and Engineering (QCE 2024).

• Jan 01, 2024: Robert Wille has been appointed Chair of the European Design and Automation Association (the organization responsible for the Design, Automation & Test in Europe, DATE)

2023

• 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 06, 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 30, 2023: Robert Wille has been appointed member of the Program Committee for the Reversible Computation Conference (RC 2024).

• Nov 29-Dec 1, 2023: We did a 3-day retreat with the group.

• Nov 21-23, 2023: We held the MNT Hackathon, a group event on design automation software for Nanotechnology.

• Nov 21, 2023: Marcel Walter and Robert Wille have been appointed members 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 03, 2023: Aleksei Velsh successfully completed his Bachelor thesis entitled “Two-Qubit Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers”. Congratulations!

• Nov 2023: Thomas Grurl successfully completed his PhD thesis entitled “Noise-Aware Quantum Circuit Simulation with Decision Diagrams”. 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”.

• Oct 02, 2023: Robert Wille has been appointed member of the Program Committee for the International Symposium on Multiple-Valued Logic (ISMVL 2024).

• Sep 29, 2023: Our work on quantum computing is featured in an interview with Robert Wille by TUM.

• 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 26-28, 2023: We participate in the Annual Meeting of the Munich Quantum Valley (MQV) in Eichstätt.

• 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 14, 2023: Our work is featured in an article “The Race Toward Quantum Advantage” at Semiconductor Engineering.

• Sep 14, 2023: Robert Wille gives a keynote on “Design for Quantum Computing: New Paradigms, new methods, new tools?” at the Forum on specification & Design Languages.

• 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: Robert Wille has been appointed member of the Program Committee for Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2024).

• Aug 28, 2023: Our experiences from the organization of DATE 2023 have 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 09, 2023: Sunghye Park from POSTECH is currently visiting our chair. In the next weeks and months, we are going to exchange about optimizing quantum circuit design.

• 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 10, 2023: Robert Wille gives a talk on “Design Automation for Quantum Computing” at the Design Automation Conference (DAC).

• 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 7, 2023: Robert Wille has been appointed Chair for the Emerging Technology Track in the Program Committee of the VLSI Design 2024.

• 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 22, 2023: Robert Wille has been appointed member of the Program Committee for the International Conference on Computer Design (ICCD 2023)

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

• Jul 04, 2023: Marcel Walter has been appointed member of the Program Committee for the International Conference on Computer-Aided Design (ICCAD) 2023.

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

2022

• 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 University 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 06, 2022: Our lecture “Introduction to Emerging Technologies” has been awarded the Lecturer Prize from students of Electrical Engineering at the Technical University of Munich.

• 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 “Simulation 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 01, 2022: We started the Chair for Design Automation at the Technical University of Munich. All news below belong to our previous activities at the Johannes Kepler University Linz.

• Feb 23, 2022: Robert Wille commented on the current chip shortage and the problems in the supply chains of the semiconductor industry in an article by Chefinfo/WeekendMagazin (in German).
• Feb 15, 2022: Robert Wille has been appointed member of the Program Committee for the Workshop on Intelligent Methods for Test and Reliability (IMTR).
• Feb 09, 2022: Robert Wille was guest in the video series QuBites; episode Managing the Complexities of Quantum Computing.
• Feb 02, 2022: Robert Wille has been appointed member of the Program Committee for the IEEE International Conference on Quantum Software (QSW)
• Jan 28, 2022: The article "Efficient design of labs-on-a-chip: Design automation and simulation for microfluidics" covering our FFG Project "Advanced Production of Microfluidic Devices through Simulation Methods" has been published in The Project Repository Journal.
• Jan 28, 2022: The Munich Quantum Valley, where we are a part of, is kicked off.
• Jan 28, 2022: Our "10-year Retrospective Most Influential Paper Award" is covered in an article by Oberösterreichische Nachrichten.
• Jan 28, 2022: We released an update for our FCN design tool fiction (v0.4.0).
• Jan 26, 2022: Dominik Bonora successfully completed his Bachelor thesis entitled "SyReC Parser and Compiler". Congratulations!
• Jan 25, 2022: Robert Wille has been appointed Jury Member for the Grand Finals of the ACM Student Research Competition (SRC).
• Jan 23, 2022: Robert Wille has been appointed Deputy Speaker of the Working Group Quantencomputing of the German Informatics Society.
• Jan 20, 2022: Our work on "Deep Reinforcement Learning for Optimization at Early Design Stages" has been published in the IEEE Design & Test.
• Jan 18-22, 2022: Our works on
  • "Limiting the Search Space in Optimal Quantum Circuit Mapping"
  • "Improving the Robustness of Microfluidic Networks"
  are presented at the Asia and South Pacific Design Automation Conference (ASP-DAC).
• Jan 18, 2022: We received the "10-year Retrospective Most Influential Paper Award" from the Asia and South Pacific Design Automation Conference (ASP-DAC). More in the corresponding JKU news entry.
• Jan 15, 2022: Our book "Design Automation for Field-coupled Nanotechnologies" has been published by Springer.
• Jan 13, 2022: Robert Wille has been appointed member of the Program Committee for the International Conference on Computing Frontiers (CF)
• Jan 08, 2022: Robert Wille has been elected Vice Chair of the European Design and Automation Association.
• Jan 07, 2022: Robert Wille has been appointed member of the Program Committee for the International Workshop on Logic & Synthesis (IWLS).
• Jan 04, 2022: Our ERC Project "Design Automation for Quantum Computing" is featured in an article "Design tools for quantum computing" by the Open Access Government Magazine.
• Jan 01, 2022: Robert Wille has been appointed Vice Chair of the European Design and Automation Association (the organization responsible for the Design, Automation & Test in Europe, DATE).

2021

• Dec 14, 2021: Our work on "A Generic Sample Preparation Approach for Different Microfluidic Labs-on-Chips" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Dec 06-08, 2021: We organize and moderate a panel on "Quantum Computing: An Industrial Perspective" (with panelists from IBM, Google, and Microsoft) at the Design Automation Conference (DAC).
• Nov 26, 2021: Daniel Lummerstorfer successfully completed his Bachelor thesis entitled "Equivalence Checking of Dynamic Quantum Circuits via Unitary Reconstruction". Congratulations!
• Nov 24, 2021: Christian Dickgiesser successfully completed his Master thesis entitled "Concurrent Execution of Decision Diagram-based Quantum Circuit Simulation". Congratulations!
• Nov 22, 2021: Robert Wille has been appointed member of the Program Committee for the International Conference on Reversible Computation (RC).
• Nov 10, 2021: Markus Hirth successfully completed his Bachelor thesis entitled "Experiments on Routing and Pin-Assignment for Digital Microfluidic Biochips". Congratulations!
• Nov 03, 2021: Our FFG Project "Advanced Production of Microfluidic Devices through Simulation Methods" is covered in an article by Innovation Origins.
• Nov 01-06, 2021: Our work on "BigIntegr: One-Pass Architectural Synthesis for Continuous-Flow Microfluidic Lab-on-a-Chip Systems" is presented at the International Conference on Computer Aided Design (ICCAD).
• Oct 25, 2021: Robert Wille gave an invited talk with the title "Using SAT Solvers for Quantum Computing Design: Potential and Challenges" at the Workshop on Constraint Solving and Quantum Computing (QCP2021).
• Oct 19, 2021: Philipp Ebner successfully completed his Master thesis entitled "Automated Design of Microfluidic Channels". Congratulations!
• Oct 19, 2021: Robert Wille has been appointed member of the Program Committee for the European Test Symposium (ETS).
• Oct 17, 2021: Robert Wille gave an invited talk with the title "Simulations of Quantum Computations Using Decision Diagram" at the Workshop on Advanced Simulations of Quantum Computations. More information on this is available at this page.
• Oct 15, 2021: Robert Wille was guest in the podcast Qubit FM in which he talked about Quantum Computing and Design Automation.
• Oct 13, 2021: Robert Wille has been appointed member for the GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2022).
• Sep 29, 2021: Our FFG Project "Advanced Production of Microfluidic Devices through Simulation Methods" is covered in this press release (in German) as well as an article by Oberösterreichische Nachrichten.
• Sep 22, 2021:Dr Álvaro Alhambra, Max Planck Institute of Quantum Optics, Germany, visits the institute and gives a talk on "Training Quantum states at equilibrium: thermal states, tensor networks and area laws ".
• Sep 21, 2021: Our work on "Design Automation for Microfluidic Concentration Gradient Generators" is presented at the International Conference on Micro and Nano Engineering (MNE).
• Sep 21, 2021: Robert Wille has been appointed member of the Program Committee for the Workshop on Quantum Software Architecture (QSA).
• Sep 20, 2021: Our work on "Towards a Stochastic Drift Simulation Model for Graphene-Based Gas Sensors" has been published in the IEEE Sensors Journal.
• Sep 20, 2021: Robert Wille has been appointed Member of the Advisory Board of the Initiative Quantencomputing by the German Aerospace Center.
• Sep 14, 2021: Robert Wille has been appointed member of the Program Committee for the International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS).
• Sep 10, 2021: Our work on "Quantum k-community detection: algorithm proposals and cross-architectural evaluation" has been published in Quantum Information Processing.
• Sep 01, 2021: Our work on "A Survey of Graph Neural Networks for Electronic Design Automation" is presented at the Workshop on Machine Learning for CAD (MLCAD).
• Aug 31, 2021: We released an update for our DDVis tool for visualizing decision diagrams for quantum computing that includes nicer formatting of complex numbers and many new example algorithms/circuits. Check out the tool at this website
• Aug 28, 2021: Dr. Robin Harper wrote a review of our Springer-book "Introducing Design Automation for Quantum Computing".
• Aug 27, 2021: Robert Wille was guest in the Podcast by QubitGuy from the quantum computing software company Classiq in which he talked about Design Automation Through the Ages.
• Aug 20, 2021: Robert Wille was guest in the podcast #realt4lk by the Upper Austrian Youth Service in which he talked about "Quantum Computers: Super-PCs of the Future?" (in German).
• Aug 17, 2021: Lukas Burgholzer and Stefan Hillmich have been accepted into the IBM Qiskit Advocate Program as recognition of their contributions to the community.
• Aug 14, 2021: Our work on "Accurate and Robust Malware Detection: Running XGBoost on Run-Time Data from Performance Counters" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Aug 14, 2021: Robert Wille gave a keynote with the title "Design Automation and Software Tools for Quantum Computing" at the International Conference on Computational Intelligence and Data Engineering (ICCIDE).
• Aug 10, 2021: Matthias C. Caro, MSc, Department of Mathematics, TU Munich, Germany, visits the institute and gives a talk on "Training Quantum Embedding Kernels on Near-Term Quantum Computers ".
• Jul 28, 2021: The article Quantum Computer are coming! But how to use their potential? covering our ERC Project "Design Automation for Quantum Computing" has been published in The Project Repository Journal.
• Jul 21, 2021: Stefan Hillmich received the IBM Associate Developer Certification for Quantum Computation using Qiskit v0.2X.
• Jul 14, 2021: Hartwig Bauer successfully completed his Master thesis entitled "Hybrid Schrödinger-Feynman Simulation of Quantum Circuits with Decision Diagrams". Congratulations!
• Jul 08, 2021: Our work on "Efficient Construction of Functional Representations for Quantum Algorithms" is presented at the International Conference on Reversible Computation (RC).
• Jul 01, 2021: Kevin Verma got awarded a JKU Early Research Achievement Award for his PhD thesis on "High Performance Simulation for Industrial Paint Shop Applications". Congratulations!
• Jul 01, 2021: Thomas Grurl is speaker at the Atos Qlub meeting on Quantum Computing. Here, he presents our work on noise-aware quantum circuit simulation using decision diagrams.
• Jul 01, 2021: Robert Wille joins the advisory board of Classiq Technologies, a Tel Aviv-based startup working on the development of software for quantum computing (also see this press release).
• Jun 30, 2021: Stefan Hillmich gave a talk on "Decision Diagrams for Quantum Computing" at the Free University Berlin, Institute of Physics, AG Eisert
• Jun 28, 2021: The work of the concept group shaping the profile of a new Technical University Upper Austria is covered in a press release by the State of Upper Austria (in German).
• Jun 24, 2021: Sebastian Pointner successfully completed his PhD thesis entitled "Improved System-on-Chip Design-Automation for Industrial Requirements". Congratulations!
• Jun 22, 2021: We present our toolset for Quantum Computing at the International Workshop on Programming Languages for Quantum Computing (PLanQC 2021). Check out our GitHub repo and our web-based tool to try them out!
• Jun 17, 2021: Our recently proposed methods for hybrid Schrödinger-Feynman simulation and efficient construction of functional representations are now available in our quantum circuit simulator as Qiskit backends. See our updated introductory jupyter notebook.
• Jun 17, 2021: Robert Wille has been appointed member of the Program Committee for the IEEE International Conference on Rebooting Computing (ICRC).
• Jun 07, 2021: Robert Wille discussed with Thomas Stelzer (Prime Minister of Upper Austria) and approx. 40 experts, opinion leaders, etc. about how Upper Austria can further improve its position as a vibrant center for researchers, students, and entrepreneurs (Photo 1, Photo 2). This is also covered in an article "LH Stelzer blickt bereits weit in die Zukunft" by Krone.
• Jun 04, 2021: Paul K. Fährmann, MSc, Institute of Physics, Free University of Berlin (FUB), Germany, gives a talk on "Training Quantum Embedding Kernels on Near-Term Quantum Computers ".
• May 27, 2021: Lukas Burgholzer and Stefan Hillmich participated in the "IBM Quantum Challenge 2021 and both attained an optimal score. Over 1400 persons participated in this challenge.
• May 26, 2021: We released an update for our DD package and quantum circuit simulator (Github / PyPI) to increase performance on more complex circuits.
• May 26, 2021: Our work on "Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision Diagrams" is presented at the International Symposium on Multiple-Valued Logic (ISMVL).
• May 25, 2021: Robert Wille has been appointed member of the concept group shaping the profile of a new Technical University Upper Austria (see corresponding press release in German).
• May 24, 2021: Our work on "SMT-Based Placement for System-on-Chip Design" is presented at the IEEE International Symposium on Circuits and Systems.
• May 19, 2021: We released an update for our quantum circuit simulator that includes bindings for Python as well as provider and backends for Qiskit. See this jupyter notebook for a short introduction.
• May 18, 2021: We released a hybrid Schrödinger-Feynman version of our quantum circuit simulation based on decision diagrams. See this github for the implementation and this paper for more details.
• May 17, 2021: We released our approach for quantum measurements with classical shadows based on decision diagrams. See this github for the implementation and this paper for more details.
• May 09, 2021: Robert Wille has been appointed member of the Program Committee for Asia and South Pacific Design Automation Conference (ASP-DAC).
• May 07, 2021: Robert Wille has been appointed member of the International Conference on Computer Design (ICCD).
• Apr 28, 2021: Lukas Burgholzer received the IBM Associate Developer Certification for Quantum Computation using Qiskit v0.2X.
• Apr 27, 2021: We released a new version of our JKQ toolset for quantum computing that substantially improves the performance of almost all decision diagram-related routines (including simulation, verification, etc.). See our github for more details.
• April 24, 2021: Robert Wille has been appointed member of the IEEE International Conference on Quantum Computing (QCE).
• Apr 12, 2021: Our work on quantum computing is mentioned in a press release by Upper Austrian's Secretary of Economy and Research Markus Achleitner (in German).
• Mar 18, 2021: Sarah Schneider successfully completed her Master thesis entitled "Optimizing SAT-Encodings for Quantum Layout Synthesis". Congratulations!
• March 18, 2021: Dr. Mirjam Weilenmann (Institute for Quantum Optics and Quantum Information, ÖAW, Vienna, Austria) gives a talk on "Quantum physics needs complex numbers".
• Mar 12, 2021: Our work on quantum computing is featured in (German) articles of JKU's "Kepler Tribune" namely
  • "Bitte ein Qubit" and
  • "Somnium - Der Traum von Wissenschaft".
• Mar 08, 2021: Robert Wille has been appointed Track Chair for "3.2 Nanoscale and Post-CMOS Systems" at the International Conference on Computer Aided Design (ICCAD).
• Feb 22, 2021: Our work on "Efficient Post-Silicon Run-Time Error Detection for Systems-on-Chip" is presented at the Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ).
• Feb 19, 2021: Robert Wille has been appointed Jury Member for the Grand Finals of the ACM Student Research Competition (SRC).
• Feb 15, 2021: Florian Stögmüller successfully completed his Bachelor thesis entitled "Reordering of Decision Diagrams for Quantum Computing". Congratulations!
• Feb 12, 2021: Robert Wille has been appointed member of the Program Committee for the International Workshop on Logic & Synthesis (IWLS).
• Feb 04, 2021: Robert Wille has been appointed member of the Program Committee for the International Conference on Very Large Scale Integration (VLSI SoC)
• Feb 03, 2021: Lorenzo Servadei successfully completed his PhD thesis entitled “Cost Estimation and Optimization of Hardware/Software Co-Designs Using Machine Learning”. Congratulations!
• Feb 03, 2021: We published the open-source implementation of our initial design automation tool for the European Train Control System (ETCS). More at this page.
• Feb 02, 2021: We published the open-source implementation of our noise-aware quantum circuit simulation. More at this page.
• Feb 01-04, 2021: Our works on
  • "Towards Automatic Design and Verification for Level 3 of the European Train Control System",
  • "As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation",
  • "Stochastic Quantum Circuit Simulation Using Decision Diagrams",
  • "Exact Physical Design of Quantum Circuits for Ion-Trap-based Quantum Architectures",
  • "Visualizing Decision Diagrams for Quantum Computing", and
  • "Generic Sample Preparation for Different Microfluidic Platforms".
  are presented at the Design, Automation and Test in Europe (DATE).
• Feb 01, 2021: We give a brief talk on "EDA Tools for Quantum Computing" at the DATE tutorial "M04 Security in the Post-Quantum Era: Threats and Countermeasures".
• Feb 01, 2021: We are organizing the PhD Forum at DATE.
• Jan 30, 2021: Robert Wille has been appointed member of the Program Committee for the Euromicro Conference on Digital System Design (DSD).
• Jan 29, 2021: The open-source implementation of our quantum circuit simulation with decision diagrams got a major update. It now also includes our recently developed methods for weak simulation and approximate simulation. More at this page.
• Jan 26, 2021: We extended our quantum circuit verification tool, so that it now can be natively integrated with IBM Qiskit (see more on this page).
• Jan 19-21, 2021: Our works on
  • "Random Stimuli Generation for the Verification of Quantum Circuits",
  • "Accurate and Efficient Simulation of Microfluidic Networks",
  • "One-Pass Synthesis for Field-coupled Nanocomputing Technologies", and
  • "Exploiting Quantum Teleportation in Quantum Circuit Mapping"
  are presented at the Asia and South Pacific Design Automation Conference (ASP-DAC).
• Jan 13, 2021: Robert Wille has been appointed Executive Committee Member and Workshop Chair of the International Conference on Computer-Aided Design (ICCAD)
• Jan 08, 2021: Michael Artner successfully completed his Bachelor thesis entitled "Visualizing Quantum Decision Diagrams". Congratulations!
• Jan 07, 2021: Robert Wille has been appointed member of the Computing Frontiers Conference (CF).
• Jan 07, 2021: Robert Wille has been appointed PC Member for the Reed Muller Workshop (RM).
• Jan 07, 2021: Robert Wille has been appointed Jury Member for the EDAA PHD Outstanding Dissertation Award.
• Jan 04, 2021: Eric Schinwald successfully completed his Bachelor thesis entitled "Evaluating Custom Coupling Maps for Quantum Circuits". Congratulations!
• Jan 04, 2021: Philipp Ebner successfully completed his Bachelor thesis entitled "Meander Designer: Automated Design of Meander Channels". Congratulations!

2020

• Dec 21, 2020: Robert Wille has been appointed member of the International Workshop on Quantum Software Engineering (Q-SE).
• Dec 18, 2020: Our “Consolidator Grant” from the European Research Council got featured in
  • an article "Wegbereiter für Quantencomputer" by OÖN,
  • an article "Top-Auszeichnung für Robert Wille vom LIT" by Volksblatt,
  • an article "Bin ein Herzblut-Informatiker" by Kurier,
  • an article "18 in Österreich tätige Forscher erhalten vom ERC Millionen-Förderung" by Der Standard, and
  • an article "ERC-Consolidator-Grant" by Kronen Zeitung.
• Dec 17, 2020: Lukas Burgholzer and Stefan Hillmich participated in the IBM Quantum Challenge Fall 2020 and placed 5th and 8th, respectively, out of over 1000 participants.
• Dec 11, 2020: Robert Wille gives a talk on "Design Automation for Quantum Computing" at the ACM/IEEE Design Automation WebiNar (DAWN) Event-5 on Quantum Computing and Design Automation Challenges and Opportunities!.
• Dec 9, 2020: We received a "Consolidator Grant" from the European Research Council (including a funding of 2 million Euro) for a project with the title "Design Automation for Quantum Computing (DA QC)". See more in our press release.
• Nov 21, 2020: Robert Wille has been appointed member of the Program Committee for the International Conference on Reversible Computation (RC).
• Nov 18, 2020: Robert Wille received the 1st place in the "Vote Your Prof"-competition for exceptional performance in teaching at JKU.
• Nov 12, 2020: Robert Wille has been appointed member of the Program Committee for the International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS).
• Nov 12, 2020: Kevin Verma successfully completed his PhD thesis entitled "High Performance Simulation for Industrial Paint Shop Applications". Congratulations!
• Nov 09, 2020: Our work on "Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators" is presented at the International Symposium on Multiple-Valued Logic.
• Nov 04, 2020: Our works on
  • "Considering Decoherence Errors in the Simulation of Quantum Circuits Using Decision Diagrams" and
  • "JKQ: JKU Tools for Quantum Computing"
  are presented at the International Conference on Computer Aided Design (ICCAD).
• Nov 04, 2020: Robert Wille gives a talk on "Quantencomputer: Herausforderungen und Potentiale" at the IoT-Kongress of the Austrian Standard.
• Nov 03, 2020: Our new tenure-track professor Richard Kueng introduces himself in an interview at JKU.at.
• Nov 02, 2020: We receive the Best Paper Award of the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems for our work on "An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures" (see also this press release).
• Nov 02, 2020: Thomas Grurl participates at the ACM Student Research Competition at ICCAD and presents his work "Realistic and Efficient Simulation of Quantum Circuits Using Decision Diagrams".
• Nov 02, 2020: Robert Wille has been appointed member of the Program Committee for the IEEE International Symposium on Multiple-Valued Logic (ISMVL).
• Oct 27, 2020: Our work on "Towards Drift Modeling of Graphene-Based Gas Sensors Using Stochastic Simulation Techniques" is presented at the IEEE SENSORS.
• Oct 22, 2020: Our work on "Advanced Equivalence Checking for Quantum Circuits" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Oct 21, 2020: Our work on "Exploring the Potential Benefits of Alternative Quantum Computing Architectures" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Oct 15, 2020: Robert Wille has been appointed member for the GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2020).
• Oct 14, 2020: Our work on "Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow" is presented at the IEEE International Conference on Quantum Computing (QCE).
• Oct 14, 2020: Our work on "Efficient and Correct Compilation of Quantum Circuits" is presented at the IEEE International Symposium on Circuits and Systems.
• Oct 07, 2020: Robert Wille gives a talk on "Design Automation for Reversible and Adiabatic Circuits" at the CCC Workshop on Physics & Engineering Issues in Adiabatic/Reversible Classical Computing.
• Sep 30, 2020: The SCCH which is led by our Institute Head is featured in an interview with CEO Markus Manz and CSO Robert Wille
• Sep 23, 2020: Our works on
  • Verifying the Results of Quantum Circuit Compilation Flows and
  • Exploiting Quantum Teleportation in Quantum Circuit Mapping
  are presented at the International Workshop on Quantum Compilation.
• Sep 16, 2020: Our work on "YASSi: Yet Another Symbolic Simulator" is presented at the International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems.
• Sep 12, 2020: Our book chapter “An Efficient Nearest Neighbor Design for 2D Quantum Circuits” has been published by Springer.
• Sep 11, 2020: Our work on "Cost Estimation for Configurable Model-Driven SoC Designs Using Machine Learning" is presented at the Great Lakes Symposium on VLSI (GLSVLSI).
• Aug 28, 2020: Our work on ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing is presented at the Euromicro Conference on Digital System Design (DSD).
• Aug 8, 2020: The LIT Secure and Correct Systems Lab in which we have a part is featured in an interview with Robert Wille.
• Jul 27, 2020: Our work on "SAT-based Exact Physical Design for Field-coupled Nanocomputing Technologies" is presented at the International Workshop on Logic Synthesis (IWLS).
• Jul 25, 2020: Our work on "Post Synthesis-Optimization of Reversible Circuits using Template Matching" is presented at the International Symposium on VLSI Design and Test (VDAT).
• Jul 24, 2020: Best Poster Award for the Young Student Fellow Program presentation "Decision Diagrams for Quantum Computing" at the Design Automation Conference (DAC) awarded to Stefan Hillmich
• Jul 20-24,2020: Our work on
  • "The Power of Simulation for Equivalence Checking in Quantum Computing",
  • "Just Like the Real Thing: Fast Weak Simulation of Quantum Computation", and
  • "Verification for Field-coupled Nanocomputing Circuits"

    are presented at the Design Automation Conference (DAC).

• Jul 20-24,2020: Lukas Burgholzer and Stefan Hillmich participate at the Young Student Fellow Program of the Design Automation Conference (DAC).
• Jul 19, 2020: Robert Wille gives a talk on "EDA tools for simulation, compilation, and verification of quantum circuits" at the DAC Workshop on Design Automation for Quantum (DAQ).
• Jul 13, 2020: Michael Hirnschrodt successfully completed his Bachelor thesis entitled "Quantencomputer Simulator". Congratulations!
• Jul 06, 2020: Our work on "Bail on Balancing: An Alternative Approach to the Physical Design of Field-coupled Nanocomputing Circuits" is presented at the IEEE Computer Society Annual Symposium on VLSI (ISVLSI).
• June 25, 2020: The Nature Physics work by Richard Küng and his Caltech colleagues is covered in the JKU news (see corresponding press release in German).
• Jun 22, 2020: Florian Schöffl successfully completed his Bachelor thesis entitled "Visualization of a Microfluidic Simulator". Congratulations!
• June 08, 2020: Alwin Zulehner has been awarded with the Heinz Zemanek Preis 2020 given by Austrian Computer Society (OCG) (see a press release by the OCG and our own news).
• June 03, 2020: Robert Wille has been appointed member of the Program Committee for the International Symposium on VLSI Design and Test (VDAT).
• May 27, 2020: Our work on "Automatic Design of Droplet-Based Microfluidic Ring Networks" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• May 27, 2020: Robert Wille gives a talk on "Mikrofluidische Systeme: Das Labor auf dem Chip" at the 37. Softwarepark Hagenberg IN-Breakfast.
• May 19, 2020: Michael Mayr successfully completed his Bachelor thesis entitled "A Graphical User Interface for Simulation Droplet-Based Microfluidics". Congratulations!
• May 14, 2020: Our book chapter "Simulation and Design of Quantum Circuits" has been published in the Springer book "Reversible Computation: Extending Horizons of Computing".
• May 1, 2020: Robert Wille becomes new Chief Scientific Officer at the Software Competence Center Hagenberg GmbH ( see also this press release and notes/articles in Oberösterreichische Nachrichten, Mein Bezirk, as well as Tips.
• Apr 28, 2020: Alwin Zulehner has been awarded with the EDAA Outstanding Dissertation Award given by the European Design and Automation Association (see corresponding press release in German).
• Apr 27, 2020: Our work on "On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata" has been published in Microprocessors and Microsystems (MICPRO).
• Apr 23, 2020: Our work on "Off-chip Controlled Droplet-on-Demand Method for Precise Sample Handling" has been published in ACS Omega.
• Apr 21, 2020: Our works on
  • "Towards Exploring the Potential of Alternative Quantum Computing Architectures" and
  • "Verification Runtime Analysis: Get the Most Out of Partial Verification" are presented at the Design, Automation and Test in Europe (DATE). Besides that, we are part of the Special Session on "Realizing Quantum Algorithms on Real Quantum Computing Devices" at this conference.
• Apr 20, 2020: We are reporting about our experiences in distance learning in an interview at JKU.at.
• Apr 18, 2020: Our work on "Passive Droplet Control in Two-Dimensional Microfluidic Networks" has been published in IEEE Transactions on Molecular, Biological, and Multi-Scale Communications.
• Apr 16, 2020: Our work on "How Secure are Checkpoint-based Defenses in Digital Microfluidic Biochips?" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Apr 12, 2020: Robert Wille has been appointed member of the Program Committee for the International Conference on Computer Design (ICCD).
• Apr 08, 2020: Our book "Introducing Design Automation for Quantum Computing" has been published by Springer.
• Mar 24, 2020: Robert Wille has been appointed Track Chair for "4.2 Nanoscale and Post-CMOS Systems" at the International Conference on Computer Aided Design (ICCAD).
• Mar 17, 2020: Our work on "Design and realization of flexible droplet-based lab-on-a-chip devices: From theory to practice" has been published in e & i Elektrotechnik und Informationstechnik.
• Mar 09, 2020: Robert Wille has been appointed Subcommittee Chair for "Emerging Technologies and Applications" at the Asia and South Pacific Design Automation Conference (ASP-DAC).
• Mar 03, 2020: Our work on "Overcoming the Trade-off Between Accuracy and Compactness in Decision Diagrams for Quantum Computation" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Mar 01, 2020: Our work on "Modeling and Simulation of Electrophoretic Deposition Coatings" has been published in the Journal of Computational Science.
• Feb 28, 2020: Robert Wille has been appointed member of the Program Committee for the International Workshop on Boolean Problems (IWSBP).
• Feb 26, 2020: Our work on "Integer Overflow Detection in Hardware Designs at the Specification Level" is presented at the Model-Driven Engineering and Software Development (MODELSWARD).
• Feb 24, 2020: Robert Wille has been appointed PhD Forum Chair and Executive Committee Member of the Design, Automation & Test in Europe (DATE).
• Feb 13, 2020: Robert Wille has been appointed member of the Program Committee for the International Workshop on Logic & Synthesis (IWLS).
• Jan 29, 2020: Robert Wille has been appointed member of the Program Committee for the International Symposium on Devices, Circuits and Systems (ISDCS).
• Jan 26, 2020: Robert Wille has been appointed member of the Program Committee for the International Conference on Very Large Scale Integration (VLSI SoC).
• Jan 25, 2020: Our work on "Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation" has been published in the IEEE Transactions on Computers (TC).
• Jan 18, 2020: Our book chapter "Automatic Design of Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks" has been published by Springer.
• Jan 13-16, 2020: Our works on
  • "Improved DD-based Equivalence Checking of Quantum Circuits",
  • "Approximation of Quantum States Using Decision Diagrams",
  • "Concurrency in DD-based Quantum Circuit Simulation", and
  • "Towards Automatic Hardware Synthesis from Formal Specification to Implementation" are presented at the Asia and South Pacific Design Automation Conference (ASP-DAC).
• Jan 10, 2020: Our work on "Near Zero-Energy Computation Using Quantum-dot Cellular Automata" has been published in the Journal on Emerging Technologies in Computing Systems (JETC).

2019

• Dec 29, 2019: Our work on
  • "Robustness Analysis for Droplet-Based Microfluidic Networks" and
  • "Improved Mapping of Quantum Circuits to IBM QX Architectures"
  has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Dec 21, 2019: Our book chapter "Automatic Design of Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks" has been published in the Springer book "Languages, Design Methods, and Tools for Electronic System Design".
• Dec 14, 2019: Our work on "Flow-Based Passive Microfluidic Architecture for Homogeneous Mixing" has been published at the International Symposium on Embedded computing & system Design (ISED).
• Dec 12, 2019: Our work on "An efficient memristor crossbar architecture for mapping Boolean functions using Binary Decision Diagrams (BDD)" has been published in Integration, the VLSI Journal.
• Dec 10, 2019: We got featured in an article by KRONE.
• Dec 6, 2019: Together with the FH Hagenberg (and with support from the State of Upper Austria) we started a project on "Fast Quantum Simulation with consideration of hardware Noise" (see corresponding press release).
• Nov 18-21, 2019: We are participating at IBM's Qiskit Camp Asia.
• Nov 15, 2019: We were among the top 3 in the IBM Quantum Challenge (see corresponding press release in German).
• Nov 19, 2019: Robert Wille gives a keynote on "Design Automation for Quantum Computing" at the Haifa Verification Seminar (HVS) in Haifa, Israel. For more information on our work on quantum computing, please see this page.
• Nov 12, 2019: Andreas Grimmer has been awarded with the Award of Excellence from the Austrian Ministry of Education (see corresponding press release in German).
• Nov 07, 2019: Our work on "Efficient and Correct Compilation of Quantum Circuits" is presented at the International Workshop on Quantum Compilation (see this page for more information on our work on quantum computation).
• Nov 04-06, 2019: Our works on
  • "Towards HDL-based Synthesis of Reversible Circuits with No Additional Line" and
  • "How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing"
  are presented at the International Conference on Computer Aided Design (ICCAD).
• Nov 04, 2019: Stefan Hillmich participated at the ACM Student Research Competition at ICCAD. He received the first prize for his contribution!
• Nov 1, 2019: Our work on microfluidics is covered in an article "How can we simulate a ‘lab-on-a-chip’?" in the Science Journal for Teens. <
• Oct 28, 2019: Our work on "Simple and Passive Merging-On-Demand Method for Reaction Engineering in Droplet Microfluidics" is presented at the International Conference on Miniaturized Systems for Chemistry and Life Sciences (µTAS).
• Oct 27, 2019: We organize a workshop "Design Tools for Microfluidic Devices" which takes place at µTAS 2019. At this workshop, we also give a presentation on our online tools (namely the Microfluidic Simulator and Meander Designer).
• Oct 25, 2019: Our work on "Reversible Circuits: IC/IP Piracy Attacks and Countermeasures" has been published in the IEEE Transactions on Very Large Scale Integration Systems (TVLSI).
• Oct 10, 2019: Andreas Grimmer has been awarded with a "KlarText Preis" for describing his work on microfluidics to a broader audience. See the full article on this page and access a corresponding promo-video on this page.
• Oct 08, 2019: Our work on quantum computing got featured in an article by Krone.
• Oct 03, 2019: Our work on "Towards Design Automation for Microfluidic Devices" is presented at the Conference on Micro Fluidic Handling Systems (MFHS).
• Sep 26, 2019: Our work on "Information Encoding in Droplet-Based Microfluidic Systems: First Practical Study" is presented at the International Conference on Nanoscale Computing and Communication (NanoCom).
• Sep 26, 2019: Robert Wille has been appointed member of the Program Committee for the International Supercomputing Conference (ISC).
• Sep 23, 2019: Robert Wille has been appointed member of the Program Committee for the International Conference on Reversible Computation (RC).
• Sep 20, 2019: Our work on "Error-Oblivious Sample Preparation With Digital Microfluidic Lab-on-Chip" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Sep 13, 2019: Our work on "MultiControl: Advanced Control Logic Synthesis for Flow-Based Microfluidic Biochip" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Sep 13, 2019: Our work on "Reversible Circuits: IC/IP Piracy Attacks and Countermeasures" has been published in the IEEE Transactions on Very Large Scale Integration Systems (TVLSI).
• Sep 13, 2019: Prof. Dr. Giovanni De Micheli (Institute of Electrical Engineering, EPFL Lausanne, Switzerland) visits the institute and gives a talk on "Nano-system Design: Technology and tools".
• Sep 13, 2019: Alwin Zulehner successfully completed his PhD thesis entitled "Design Automation for Quantum Computing". Congratulations!
• Sep 12, 2019: Andreas Grimmer and Alwin Zulehner got awarded with a JKU Early Research Achievement Award.
• Sep 09, 2019: Robert Wille has been appointed member of the Program Committee for the IEEE International Symposium on Multiple-Valued Logic (ISMVL).
• Sep 03, 2019: Our work on "Combining Evolutionary Algorithms and Deep Learning for Hardware/Software Interface Optimization" is presented at the Workshop on Machine Learning for CAD (MLCAD).
• Aug 29, 2019: Robert Wille has been appointed member for the GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2020).
• Aug 28, 2019: Robert Wille gives a talk on "Design Automation for Quantum Computing" at the Indian Institute of Technology Kharagpur.
• Aug 27, 2019: Robert Wille gives a talk on "Potential of Design Automation for Emerging Technologies" at NTU Singapore.
• Aug 08, 2019: Robert Wille has been appointed Chair of the Selection Committee for the ICCAD Ten Year Retrospective Most Influential Paper Award.
• Jul 15-17, 2019: Our works on
  • "Test Your Test Programs Pre-Silicon: A Virtual Test Methodology for Industrial Design Flows"
  • "Focus on What is Needed: Area and Power Efficient FPGAs Using Turn-Restricted Switch Boxes"
  • "Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-coupled Nanotechnologies"
  are presented at the IEEE Computer Society Annual Symposium on VLSI (ISVLSI).
• Jul 15, 2019: Our tool "fiction: An Open Source Framework for the Design of Field-coupled Nanocomputing Circuits" is presented at the IEEE Computer Society Annual Symposium on VLSI (ISVLSI) and got awarded there with a Best Research Demo Award (also see this news in German).
• Jul 04, 2019: Our book "Designing Droplet Microfluidic Networks: A Toolbox for Designers" has been published by Springer.
• Jun 25, 2019: Our work on "Evaluating the Flexibility of A* for Mapping Quantum Circuits" is presented at the Conference on Reversible Computation (RC).
• Jun 21, 2019: Our work on "fiction: An Open Source Framework for the Design of Field-coupled Nanocomputing Circuits" is presented at the International Workshop on Logic & Synthesis (IWLS).
• Jun 20, 2019: Our work on "An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Jun 20, 2019: Our work on "Automated Dimensioning of Networked Labs-on-Chip" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Jun 17, 2019: Our work on quantum computing is covered in an article "How can we work with quantum computers today?" in the Science Journal for Teens.
• Jun 13, 2019: Hartwig Bauer successfully completed his Bachelor thesis entitled "Mapping Quantum Circuits to Quantum Architectures". Congratulations!
• Jun 13, 2019: Hans Peter Ullmann successfully completed his Bachelor thesis entitled "Applying Reinforcement-Learning for Routing and Pin-mapping in Digital Microfluidic Biochips". Congratulations!
• Jun 06, 2019: We got featured in the article Where IoT, AI & Quantum Computing Meet by the EETimes. A video of the corresponding panel is available at YouTube.
• Jun 06, 2019: Our work on "Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations" has been presented at the Design Automation Conference (DAC).
• Jun 05, 2019: Alwin Zulehner presents his work on "Computer Aided Design for Quantum Computing" at the DAC PhD Forum (see this page for more details on the topic). For his contribution, he got awarded with a Best Poster Award (also see this news in German).
• Jun 04, 2019: Robert Wille got awarded with an "Under-40 Innovators Award" from the Design Automation Conference (also see this news in German).
• Jun 04, 2019: We contribute to the tutorial "QUEST: Quantum Computing- EDA, Security and Test" which takes place at the Design Automation Conference (DAC).
• May 27, 2019: Our work on "Exact Stimuli Minimization for Simulation-Based Verification" is presented at the IEEE International Symposium on Circuits and Systems.
• May 21, 2019: Our works on
  • "One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits"
  • "The Four-valued Logic in UML/OCL Models: A New "Playground" for the MVL Community"
  are presented at the International Symposium on Multiple-Valued Logic (ISMVL).
• May 16, 2019: Ass.-Prof. Dr. Mirela Alistar (ATLAS Institute, Computer Science, University of Boulder, USA) visits the institute and gives a talk on "Mobile Microfluidics"
• Apr 30, 2019 Our work on "Identification of Synthesis Approaches for IP/IC Piracy of Reversible Circuits" has been published in the Journal on Emerging Technologies in Computing Systems (JETC).
• Apr 26, 2019 Our work on "Advanced Simulation of Droplet Microfluidics" has been published in the Journal on Emerging Technologies in Computing Systems (JETC).
• Apr 24, 2019: Our work on "Advanced Simulation of Quantum Computations" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Apr 24, 2019: Our work on "Generic Error Localization for the Electronic System Level" is presented at the International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS).
• Apr 23, 2019 Our work on "Placement & Routing for Tile-based Field-coupled Nanocomputing Circuits is NP-complete" has been published in the Journal on Emerging Technologies in Computing Systems (JETC).
• Apr 23, 2019: Robert Wille has been appointed reviewer for tutorials and special sessions at the International Conference on Computer-Aided Design (ICCAD)
• Apr 17, 2019: Our work on "First Practical Realization of Switching in Microfluidic Networks" is presented at the Workshop on Molecular Communications.
• Apr 16, 2019: We contribute to the tutorial "Microfluidics Research at JKU" which takes place at the Workshop on Molecular Communications.
• Apr 08, 2019: Robert Wille has been appointed Subcommittee Chair for "Emerging Technologies and Applications" at the Asia and South Pacific Design Automation Conference (ASP-DAC).
• Apr 04, 2019: Robert Wille has been appointed Track Chair for "Applications of Emerging Technologies" at the Design, Automation and Test in Europe (DATE).
• Mar 29, 2019: Our work on "Storage-Aware Algorithms for Dilution and Mixture Preparation with Flow-Based Lab-on-Chip" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Mar 27, 2019: Robert Wille has been appointed member of the Program Committee for the Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI).
• Mar 26-28, 2019: Our works on
  • Matrix-Vector vs. Matrix-Matrix Multiplication: Potential in DD-based Simulation of Quantum Computations
  • Better Late Than Never Verification of Embedded Systems After Deployment
  • Accurate Cost Estimation of Memory Systems Inspired by Machine Learning for Computer Vision
  • Accuracy and Compactness in Decision Diagrams for Quantum Computation
  are presented at the Design, Automation and Test in Europe (DATE). Besides that, we are organizing the Special Session on "IBM's Qiskit Tool Chain: Working with and Developing for Real Quantum Computers" for this conference.
• Mar 25, 2019: Andreas Grimmer presents his work on "Automatic Methods for the Design of Droplet Microfluidics" at the DATE PhD Forum (see this page for more details on the topic). For his contribution, he got awarded with a Best Poster Award (also see this news in German).
• Mar 25, 2019: Alwin Zulehner presents his work on "Computer Aided Design for Quantum Computing" at the DATE PhD Forum (see this page for more details on the topic).
• Mar 22, 2019: Robert Wille has been appointed member of the Program Committee for the International Symposium on VLSI Design and Test (VDAT).
• Mar 13, 2019: Robert Wille has been appointed member of the Program Committee for the International Conference on Computer Aided Design (ICCAD).
• Mar 11-12, 2019: We participate at the WG meeting of the EU Cost Action 1405 on Reversible Computation where we present our work on quantum computation.
• Mar 07, 2019 Lukas Burgholzer successfully completed his Bachelor thesis entitled "Minimal Mapping of Quantum Circuits to the IBM QX Architectures". Congratulations!
• Feb 27, 2019: Prof. Dr. Christoph Lüth (DFKI GmbH, Bremen, Germany) visits the institute and gives a talk on "Self-verifying Systems: Challenges and Perspectives".
• Feb 26 - Mar 01, 2019: Alwin Zulehner participates at IBM's Qiskit Camp and presents the winning solution for the IBM Qiskit Developer Challenge at the IBM Thomas J. Watson Research Center (see this tweet).
• Feb 26, 2019: The quantum simulator developed by us is now officially integrated in IBM's SDK Qiskit (see github and the corresponding blog article).
• Feb 22, 2019: Robert Wille has been appointed member of the Program Committee for the International Conference on Very Large Scale Integration (VLSI-SOC).
• Feb 22, 2019: Robert Wille has been appointed member of the Program Committee for the Workshop on Logic and Synthesis (IWLS).
• Feb 14, 2019: Our work on "Simulating Industrial Electrophoretic Deposition on Distributed Memory Architectures" is presented at the Euromicro Conference on Parallel, Distributed, and Network-Based Processing (PDP).
• Feb 09, 2019: Robert Wille gives a talk at the TEDx event in Linz.
• Jan 28, 2019: Andreas Grimmer successfully completed his PhD thesis entitled "Automatic Methods for the Design of Droplet Microfluidic Networks: A Toolbox for Designers". Congratulations!
• Jan 28, 2019: Prof. Dr.-Ing. Ulf Schlichtmann (Technical University of Munich, Germany) visits the institute and gives a talk on "Advancing the use of Microfluidic Biochips by Electronic Design Automation".
• Jan 22-24, 2019: Our works on
  • "Compiling SU(4) Quantum Circuits to IBM QX Architectures"
  • "Design Automation for Adiabatic Circuits"
  • "A Staircase Structure for Scalable and Efficient Synthesis of Memristor-Aided Logic" (Best Paper Award Candidate)
  • "Robust Sample Preparation on Low-Cost Digital Microfluidic Biochips"
  • "Scalable Design for Field-coupled Nanocomputing Circuits"
  are presented at the Asia and South Pacific Design Automation Conference (ASP-DAC).
• Jan 22, 2019: Alwin Zulehner presented his work on "Computer Aided Design for Quantum Computing" at the ASP-DAC Student Research Forum (see this page for more details on the topic). For his contribution, he got awarded with a Student Research Award (also see this news in German).
• Jan 20, 2019: Our work on "Determining Application-specific Knowledge for Improving Robustness of Sequential Circuits" has been published in the IEEE Trans. on VLSI Systems.
• Jan 19, 2019: We are covered in an article by OÖN about quantum computing (in German).
• Jan 08, 2019: Our work on "Improved Look-ahead Approaches for Nearest Neighbor Synthesis of 1D Quantum Circuits" is presented at the IEEE Computer Society Annual Symposium on VLSI (ISVLSI).

2018

• Dec 16, 2018: Our work on "Automatic Droplet Sequence Generation for Microfluidic Networks with Passive Droplet Routing" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Dec 3, 2018: Our work on "Passive droplet control in microfluidic networks: A survey and new perspectives on their practical realization" has been published in Nano Communication Networks.
• Nov 21, 2018: Our work on "Meander Designer: Automatically Generating Meander Channel Designs" has been published in Micromachines.
• Nov 11, 2018: Our work on "Droplet-on-Demand for Realizing Flexible and Programmable Lab-on-chip Devices" is presented at µTAS.
• Nov 08, 2018: Our works on compiling quantum circuits to IBM QX architectures and on synthesis of Clifford+T circuits are presented at the International Workshop on Quantum Compilation (see this page for more information on our work on quantum computation).
• Nov 05-07, 2018: Our works on
  • "Multi-Channel and Fault-Tolerant Control Multiplexing for Flow-Based Microfluidic Biochips"
  • "IC/IP Piracy Assessment of Reversible Logic"
  are presented at the International Conference on Computer Aided Design (ICCAD). Besides that, we are organizing the Special Session on "Computer-Aided Design for Quantum Computation" for this conference.
• Oct 24, 2018: Robert Wille has been appointed member of the Program Committee for the Euromicro Conference on Digital System Design (DSD).
• Oct 10, 2018: Our work on "Simulation before fabrication: a case study on the utilization of simulators for the design of droplet microfluidic networks" has been published in RSC Advances.
• Oct 09, 2018: Dr. Daniel Tille (Infineon, München ,Germany) visits the institute and gives a talk on "Functional Safety - A brief overview from DFT point of view".
• Sep 27, 2018: Our work on "A Multi-GPU PCISPH Implementation with Efficient Memory Transfers" is presented at the High Performance Extreme Computing Conference (HPEC).
• Sep 26, 2018: Prof. Dr. Hamid Sarbazi-Azad (Sharif University of Technology, Tehran, Iran) gives a talk on "An Efficient Scheme for Prolonging the Lifetime of Phase-Change Memories".
• Sep 22, 2018: Robert Wille has been appointed member of the Program Committee for the International Conference on Reversible Computation (RC).
• Sep 16-21, 2018: We participate at the Dagstuhl Seminar on "Quantum Programming Languages" where we present our work on quantum computation.
• Sep 13, 2018: Our work on "QMDD-based One-pass Design of Reversible Logic: Exploring the Available Degree of Freedom" is presented at the Conference on Reversible Computation (RC).
• Sep 11, 2018: Robert Wille has been appointed member for the GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2019).
• Sep 10-12, 2018: We participate at the WG meeting of the EU Cost Action 1405 on Reversible Computation where we present our work on quantum computation.
• Sep 10, 2018: We are organizing a Special Session on "Automatic Design of Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks" at the Forum on Specification and Design Languages (FDL).
• Sep 07, 2018: Berislav Klepic got awarded with a "UBIT Award 2018" from the Wirtschaftskammer Oberösterreich (WKOÖ) for his Master thesis entitled "Automation of Design-Tasks for Programmable Microfluidic Devices" (see this photo).
• Sep 07, 2018: Our work on "Comparison of Switching Principles in Microfluidic Bus Networks" is presented at the International Conference on Nanoscale Computing and Communication (NanoCom).
• Aug 31, 2018: Robert Wille has been appointed Jury Member for the ACM India Doctoral Dissertation Award.
• Aug 31, 2018: Our work on "Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata" is presented at the Euromicro Conference on Digital System Design (DSD).
• Aug 29, 2018: Robert Wille has been appointed PC Member for the Reed Muller Workshop (RM2019).
• Aug 23, 2018: Our success at the IBM QISKit Developer Challenge on mapping quantum circuits to IBM QX architectures got featured in an article by the Austria Press Agency (also used by Der Standard, OÖ Nachrichten, and Krone)
• Aug 20, 2018: We won the IBM QISKit Developer Challenge (see more in this IBM blog entry as well as this press release). The winning contribution is available on this page.
• Aug 10, 2018: Our work on "Error-Oblivious Sample Preparation With Digital Microfluidic Lab-on-Chip" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Aug 07, 2018: Robert Wille has been appointed Jury Member for the ACM India Doctoral Dissertation Award.
• Jul 25, 2018: Our work on "Parallel Simulation of Electrophoretic Deposition for Industrial Automotive Applications" is presented at the International Conference on High Performance Computing & Simulation (HPCS).
• Jul 25, 2018: Our work on "Synchronization of Clocked Field-Coupled Circuits" is presented at the IEEE International Conference on Nanotechnology (IEEE Nano).
• Jul 19, 2018: Our book "Exact Design of Digital Microfluidic Biochips" has been published by Springer.
• Jul 15, 2018: Our work on "Microfluidic Networks for Flexible and Programmable Lab-on-Chip Devices" is presented at the EMBL Microfluidics Conference.
• Jul 10, 2018: Robert Wille has been appointed member of the Program Committee for the IEEE International Symposium on Multiple-Valued Logic (ISMVL).
• Jul 05, 2018: Robert Wille has been appointed member of the Program Committee for the ACM Student Research Competition at ICCAD.
• Jul 04, 2018: Alwin Zulehner gives an interview to the ÖO Bezirk Rundschau on his work on quantum computers (in German only).
• Jul 01, 2018: Approval Project No. IN 26/2018 Mapping Quantum Circuits to Dedicated Architectures Subject to Technological Constraints
• Jun 28, 2018: Our work on quantum simulation got featured in an article by the Austria Press Agency (also used by Der Standard and Die Presse)
• Jun 17, 2018: Robert Wille has been appointed member of the Program Committee for the International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS).
• Jun 14, 2018: Our work on "An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Jun 04, 2018: Robert Wille gives a talk on "Electronic Design Automation für heute und morgen" at the IEEE TechRally organized by the IEEE Student Branch Linz.
• May 26, 2018: Robert Wille has been appointed member of the Program Committee for the Design, Automation and Test in Europe (DATE).
• May 16-18, 2018: We are organizing the International Symposium on Multiple-Valued Logic (ISMVL) in Linz.
• May 16, 2018: Our works on
  • "Generalizing the Concept of Scalable Reversible Circuit Synthesis for Multiple-valued Logic"
  • "Synthesis of Reversible Circuits Using Conventional Hardware Description Languages"
  are presented at the International Symposium on Multiple-Valued Logic (ISMVL).
• May 14, 2018: Dr. Mirela Alistar (Hasso Plattner Institute, Potsdam, Germany) visits the institute and gives a talk on "Personal Biochips".
• May 10, 2018: Our work on "Advanced Simulation of Quantum Computations" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• May 10, 2018: Our work on "Automated Dimensioning of Networked Labs-on-Chip" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• May 05, 2018: Robert Wille has been appointed member of the Program Committee for the Austrian Workshop on Microelectronics (Austrochip).
• May 04, 2018: Simon Eilmsteiner successfully completed his Bachelor thesis entitled "Robustheitsanalyse von Networked Labs-on-Chip Architekturen". Congratulations!
• Apr 24, 2018: Robert Wille has been appointed member of the Program Committee for the International Symposium on VLSI Design and Test (VDAT).
• Apr 24, 2018: Nawfal Al-Zubaidi R-Smith MSc (Dept. of Radio Electronics, Brno University of Technology, Czech Republic) gives a talk on "Methods of Numerical Inversion of Laplace Transforms for Electrical Engineering and their Applications".
• Apr 21, 2018: Our work on "One-pass Design of Reversible Circuits: Combining Embedding and Synthesis for Reversible Logic" has been published in IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Apr 13, 2018: We contribute to JKU’s program to the "Lange Nacht der Forschung".
• Apr 13, 2018: Robert Wille gives a keynote on "Design Automation for Labs-on-Chip" at the Microelectronic Systems Symposium (MESS).
• Apr 11, 2018: Robert Wille gives a keynote on "Quantum Computation: Prospects and Challenges" at the IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS 2018).
• Apr 09, 2018: Our work on "On the Difficulty of Inserting Trojans in Reversible Computing Architectures" has been published in IEEE Transactions on Emerging Topics in Computing (TETC).
• Apr 05, 2018: Our work on "Towards Droplet on Demand for Microfluidic" is presented at the Workshop on Molecular Communications (MolCom).
• Mar 30, 2018: Robert Wille gives a keynote on Decision Diagrams in the Design of Reversible and Quantum Circuits" at the International Symposium on Devices, Circuits and Systems (ISDCS 2018).
• Mar 28, 2018: Robert Wille talks about "Quantum Computation: Prospects and Challenges" at the Indian Statistical Institute (ISI) in Kolkata (India)
• Mar 20-22, 2018: Our works on
  • "Efficient Mapping of Quantum Circuits to the IBM QX Architecture"
  • "Pushing the Number of Qubits Below the Minimum: Realizing Compact Boolean Components for Quantum Logic"
  • "Storage-Aware Sample Preparation Using Flow-based Microfluidic Lab-on-Chip"
  • "An Exact Method for Design Exploration of Quantum-dot Cellular Automata"
  • "Improved Synthesis of Clifford+T Quantum Functionality"
  are presented at the Design, Automation and Test in Europe (DATE). Besides that, we
  • are presenting our quantum simulator at the DATE University Booth (see this page for more about that) and
  • are organizing the Special Day on Emerging Technologies for this conference.
• Mar 06, 2018: We received a Google Research Award for our work on simulation of quantum computations (more on that in this press release).
• Mar 06, 2018: Robert Wille has been elected as deputy speaker of the Department of Computer Sciences of the Johannes Kepler University, Linz.
• Mar 03, 2018: Robert Wille has been appointed reviewer for tutorials and special sessions at the International Conference on Computer-Aided Design (ICCAD)
• Mar 01, 2018: Our work on "Fast and Flexible Drug Screening Using a Pure Hydrodynamic Droplet Control." is presented at the European Conference on MicroFluidics.
• Feb 26, 2018: Ass.-Prof. Dr. Philip Brisk, (Dep. of Computer Science and Engineering University of California, USA) visits the institute and gives a talk on "Design Software for Microfluidics: Integrating Fluid Modeling with Design Objectives".
• Feb 23, 2018: Ass.-Prof. Dr. Ansuman Banerjee, (Indian Statistical Institute (ISI), Kolkata, India) visits the institute and gives a talk on "Formal methods for ranking verification counterexamples through assumption mining".
• Feb 12, 2018: Andreas Grimmer presents the Computer Science department of the JKU at the HTL Braunau
• Feb 02, 2018: Robert Wille has been appointed member of the Program Committee for the International Conference on Very Large Scale Integration (VLSI-SOC).
• Jan 30, 2018: Our book "Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers" has been published by Springer.
• Jan 29, 2018: Robert Wille has been appointed PhD Forum Chair and Executive Committee Member of the Design, Automation & Test in Europe (DATE).
• Jan 25, 2018: Robert Wille has been appointed Associate Editor of Integration, the VLSI journal.
• Jan 25, 2018: Robert Wille has been appointed member of the Program Committee for the International Symposium on Devices, Circuits and Systems (ISDCS).
• Jan 25, 2018: Robert Wille has been appointed member of the Program Committee for the International Symposium on VLSI Design and Test (VDAT).
• Jan 23-25, 2018: Our works on
  • "Exploiting Coding Techniques for Logic Synthesis of Reversible Circuits" and
  • "Sound Valve-Control for Programmable Microfluidic Devices" (implementation available at this page)
  are presented at the Asia and South Pacific Design Automation Conference (ASP-DAC).
• Jan 22, 2018: Our work on "Analyzing Frame Conditions in UML/OCL Models: Consistency, Equivalence, and Independence" is presented at the International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018).
• Jan 19, 2018: Robert Wille has been appointed Associate Editor of Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Jan 15, 2018: Our work on "Synthesis of Circuits based on All-Optical Mach-Zehnder Interferometers Using Binary Decision Diagrams" has been published in the Microelectronics Journal.
• Jan 08, 2018: Our work on "Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips" is presented at the International Conference on VLSI Design (VLSI Design).
• Jan 04, 2018: Our work on "An Energy-aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata has been published in IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Jan 03, 2018: Robert Wille got elected as Chair of the IEEE Technical Committee on Multiple-Valued Logic (TCMVL) (also see corresponding news message at jku.at; in German only).
• Jan 02, 2018: Our book chapter "Emerging Circuit Technologies: An Overview on the Next Generation of Circuits" has been published by Springer.

2017

• Dec 20, 2017: Our work on "Towards Lightweight Satisfiability Solvers for Self-Verification" has been published at the International Symposium on Embedded Computing & System Design (ISED).
• Nov 28, 2017: Robert Wille has been appointed member of the Program Committee for the International Conference on Reversible Computation (RC).
• Nov 23, 2017: Robert Wille has been appointed member of the Program Committee for the Genetic and Evolutionary Computation Conference (GECCO).
• Nov 21, 2017: Robert Wille talks about "Design Automation for Labs on Chips" at the TU Dresden (Germany).
• Nov 16, 2017: Our work on "Simulation of Quantum Computations Using Decision Diagrams" is presented at the Workshop "Design Automation for Quantum Computers" (see this page for more details on the proposed quantum simulator).
• Nov 15, 2017: Robert Wille has been appointed member of the Program Committee for the International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS).
• Nov 14, 2017: Our work on "Dedicated Synthesis for MZI-based Optical Circuits based on AND-Inverter Graphs" is presented at the International Conference on Computer Aided Design (ICCAD).
• Nov 13, 2017: Robert Wille has been appointed member of the Program Committee for the Euromicro Conference on Digital System Design (DSD).
• Nov 09, 2017: Our book "Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016" has been published by Springer.
• Nov 08, 2017: Our work on "Identifying Synthesis Approaches for IP Piracy of Reversible Circuits" is presented at the International Conference on Computer Design (ICCD).
• Nov 07, 2017: Dr. Pablo González de Aledo (Imperial College London) visits the institute and gives a talk on "Simulation and Verification of non-functional properties".
• Nov 06, 2017: Our work on "A Nearest Neighbor Quantum Cost Metric for the Reversible Circuit Level" is presented at the IEEE Region Ten Conference (TENCON).
• Oct 30, 2017: Robert Wille has been appointed member of the Program Committee for the Design Automation Conference (DAC).
• Oct 22, 2017: We organize a workshop "Networked LOCs: A Passive Routing Concept for Two-Phase-Flow Microfluidics" which takes place at MicroTAS 2017.
• Oct 11, 2017: Robert Wille talks about "Make Design Automation Available for Everyone" at the Technologieplauscherl event.
• Oct 04, 2017: Berislav Klepic successfully completed his Master thesis entitled "Realization of Synthesis Tasks for PMD-Biochips". Congratulations!
• Oct 04, 2017: Our work on "Tagged BDDs: Combining Reduction Rules from Different Decision Diagram Types" is presented at the Formal Methods in Computer-Aided Design (FMCAD).
• Sep 29, 2017:Our work on "More than true or false: Native Support of Irregular Values in the Automatic Validation & Verification of UML/OCL Models" is presented at the International Conference on Formal Methods and Models for Codesign (MEMOCODE).
• Sep 28, 2017: Robert Wille has been appointed member of the Program Committee for the International Workshop on Boolean Problems (IWBP 2018).
• Sep 26, 2017: Robert Wille has been appointed member of the Program Committee for the International Symposium on Embedded computing and system Design (ISED 2017).
• Sep 26, 2017: Prof. Indranil Sen Gupta (Indian Institute of Technology Kharagpur) visits the institute and gives a talk on "Logic synthesis on memristor crossbar".
• Sep 24-29, 2017: Alexandru Paler participates at the 5th Heidelberg Laureate Forum.
• Sep 17, 2017: Robert Wille has been appointed member for the GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2017).
• Sep 15, 2017: Our work on "Synthesis of Optical Circuits Using Binary Decision Diagrams" has been published in INTEGRATION, the VLSI Jour.
• Sep 14, 2017: Our work on "Advanced Load Balancing for SPH Simulations on Multi-GPU Architectures" is presented at the High Performance Extreme Computing Conference (HPEC).
• Sep 12, 2017: Our book Compact Representations for the Design of Quantum Logic has been published by Springer.
• Sep 09, 2017: Robert Wille has been appointed Jury Member for the ACM India Doctoral Dissertation Award.
• Sep 05, 2017: Our work on "Synthesis of Arbitrary Quantum Circuits to Topological Assembly: Systematic, Online and Compact" has been published in Scientific Reports.
• Sep 05, 2017: Robert Wille has been appointed member of the Program Committee for the ACM Student Research Competition at ICCAD.
• Sep 05, 2017: We contribute to the tutorial "T4A Design Automation for Labs-on-Chip: A New "Playground" for SoC Designers" which takes place at SOCC 2017.
• Aug 18, 2017: Our work on "Physical Co-Design of Flow and Control Layers for Flow-Based Microfluidic Biochips" has been published in IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Aug 08, 2017: Prof. Krishnendu Chakrabarty (Electrical and Computer Engineering, Duke University, Durham, USA) visits the institute and gives a talk on "Quo Vadis Microfluidic Biochips? Bridging the Gap between Microfluidics and Microbiology".
• Jul 19, 2017: Our work on "Formulating Model Verification Tasks Prover-Independently as UML Diagrams" is presented at the European Conference on Modelling Foundations and Applications (ECMFA).
• Jul 19, 2017: Our work on "One-pass Design of Reversible Circuits: Combining Embedding and Synthesis for Reversible Logic" has been published in IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Jul 11, 2017: Robert Wille talks about "Design Automation for Labs on Chips" at the Indian Statistical Institute (ISI) in Kolkata (India)
• Jul 06-07, 2017: Our works on
  • "Improving Synthesis of Reversible Circuits: Exploiting Redundancies in Paths and Nodes of QMDDs"
  • "Exact Global Reordering for Nearest Neighbor Quantum Circuits Using A*"
  • "Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions"
  • "Test Pattern Generation Effort Evaluation of Reversible Circuits"
  • "Towards VHDL-based Design of Reversible Circuits"
  • "Automatic Test Pattern Generation for Multiple Missing Gate Faults in Reversible Circuits"
  are presented at the Conference on Reversible Computation (RC).
• Jul 05, 2017: Robert Wille talks about "Applications of Reversible Circuits and Directions for Future Work" at the Summer School associated with the Conference on Reversible Computation (RC).
• Jul 03, 2017: Our work on "BioViz: An Interactive Visualization Engine for the Design of Digital Microfluidic Biochips" is presented at the IEEE Computer Society Annual Symposium on VLSI (ISVLSI).
• Jun 26, 2017: Robert Wille has been appointed member of the Program Committee for the International Conference on VLSI Design (VLSID 2018).
• Jun 24, 2017: Robert Wille has been appointed member of the Program Committee for the Conference on Algorithms and Applications (ALAP).
• Jun 23: Our work on "Exploiting Reversible Logic Design for Implementing Adiabatic Circuits" is presented at the International Conference on Mixed Design of Integrated Circuits and Systems (MIXDES).
• Jun 22, 2017: Our work on "A Discrete Model for Networked Labs-on-Chip: Linking the Physical World to Design Automation" has been presented at the Design Automation Conference (DAC).
• Jun 21, 2017: Robert Wille has been appointed member of the Program Committee for the Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI).
• Jun 21, 2017: Andreas Grimmer has been awarded with the OCG Incentive Award . Press Release
• Jun 19, 2017: Robert Wille has been appointed member of the Program Committee for the Design, Automation and Test in Europe (DATE).
• Jun 06, 2017: FH-Prof. Dr.-Ing. habil. Hans-Georg Brachtendorf (FH Hagenberg) visits the institute and gives a talk on "Coupled Circuit/EM Simulation for Radio Frequency Circuits".
• May 23, 2017: Our work on "Addressing Multiple Nodes in Networked Labs-on-Chips without Payload Re-injection" is presented at the IEEE International Conference on Communications (ICC).
• May 23, 2017: Our work on "Formal Methods for Reasoning and Uncertainty Reduction in Evidential Grid Maps" has been published in the International Journal of Approximate Reasoning (IJA).
• May 22-24, 2017: Our works on
  • "Skipping Embedding in the Design of Reversible Circuits"
  • "OR-Inverter Graphs for the Synthesis of Optical Circuits"
  • "Extensions to the Reversible Hardware Description Language SyReC"
  are presented at the International Symposium on Multiple-Valued Logic (ISMVL).
• May 16, 2017: Ass. Prof. Dr. Philip Brisk (Dep. of Computer Science and Engineering, University of California, USA) visits the institute and gives a talk on "Microfluidics and Biological Instrument Design as a Computing Discipline: An Overview".
• May 10-11, 2017: Our work on "Design Automation for Labs-on-Chips" has been presented at SELECTBIO: Biosensors, Microfluidics and Lab-on-a-Chip Technologies.
• May 09, 2017: Our work on "Design of Application-Specific Architectures for Networked Labs-on-Chips" has been published in IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• May 04, 2017: Ass. Prof. Dr. Majid Haghparast (Islamic Azad University, Tehran, Iran, currently Research Fellow at our Institute) gives a talk on "Reversible Logic Design".
• May 02, 2017: Dr. Hoi-Kwan Lau (Max Planck Institute for the Physics of Complex Systems, Dresden, Germany) visits the institute and gives a talk on "What is actually needed to quantum-compute with harmonic oscillators?".
• Apr 19, 2017: Our work on "An Efficient Physical Design of Fully-testable BDD-based Circuits" is presented at the International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS).
• Apr 03, 2017: Robert Wille has been appointed Special Day Chair and Executive Committee Member of the Design, Automation & Test in Europe (DATE).
• Mar 27-30, 2017: Our works on
  • "Verification of Networked Labs-on-Chip Architectures"
  • "Taking One-to-one Mappings for Granted: Advanced Logic Design of Encoder Circuits"
  • "Make It Reversible: Efficient Embedding of Non-reversible Functions"
  are presented at the Design, Automation and Test in Europe (DATE). Besides that, we are presenting our demo on Networked Labs-on-Chip (NLoCs) at the DATE University Booth (see this page for more about NLoCs).
• Mar 27, 2017: Robert Wille has been appointed member of the Program Committee for the Austrian Workshop on Microelectronics (Austrochip).
• Mar 23, 2017: Sebastian Pointner successfully completed his Master thesis entitled "Virtual Test Development: A Novel Concept for Pre-Silicon Test Program Development". Congratulations!
• Mar 21, 2017: Our work on "Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification" has been published in IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
• Mar 06, 2017: Our research project entitled "CHARON: Complete Control Software for Reliable Quantum Computers" (with Alexandru Paler as PI) starts today within the Linz Institute of Technology (also see press release on LIT projects).
• Mar 06, 2017: Robert Wille has been appointed member of the Program Committee for the International High-Level Design Validation and Test Workshop (HLDVT).
• Mar 05, 2017: Robert Wille has been appointed member of the Program Committee for the International Symposium on VLSI Design and Test (VDAT).
• Feb 28, 2017: Robert Wille has been appointed member of the Program Committee for the Workshop on Advances in IoT Architecture and Systems (AIoTAS).
• Feb 27 - Mar 2, 2017: The NII Shonan Meeting on Microfluidic Biochips: Bridging Biochemistry with Computer Science and Engineering which is co-organized by us takes place.
• Feb 13, 2017: Andreas Grimmer presents the Computer Science department of the JKU at the HTL Braunau. Photos are available at this page.
• Feb 08-09, 2017: Our work on "Verifikation von Networked Labs-on-Chip Architekturen" is presented at the Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
• Feb 07, 2017: International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS)
• Feb 07, 2017: International Conference on Quantum, Nano/Bio, and Micro Technologies (ICQNM)
• Jan 17-19, 2017: Our works on
  • "Close-to-Optimal Placement and Routing for Continuous-Flow Microfluidic Biochips"
  • "Exact Routing for Micro-Electrode-Dot-Array Digital Microfluidic Biochips"
  • "Enhancing Robustness of Sequential Circuits Using Application-specific Knowledge and Formal Methods"
  are presented at the Asia and South Pacific Design Automation Conference (ASP-DAC).
• Jan 13, 2017: The Austrian newspaper OÖN covers the award of Andreas Grimmer with the Austrian State Award for the best Master’s degree (read complete article here (in German)).
• Jan 10, 2017: Our book " Automatic Methods for the Refinement of System Models" has been published by Springer.
• Jan 10, 2017: Robert Wille has been appointed member of the Program Committee for the Summer Computer Simulation Conference (SCSC).
• Jan 05, 2017: Andreas Grimmer has been invited by the HTL-Braunau to give an interview about his Austrian State Award. "Interview in German".
• Jan 03, 2017: Robert Wille has been appointed member of the Program Committee for the IEEE International High-Level Design Validation and Test Workshop (HDLVT).
• Jan 01, 2017: Approval Project No. IN 08/2017: Development of CAD Tools for Synthesis, Optimization & Verification of Digital Circuits using Memristors

2016

• Dec 22, 2016: Andreas Grimmer has been nominated for the best Master’s thesis by the Adolf-Adam Award.
  

  Press Release Photo 1 Photo 2

• Dec 16, 2016: Our works on
  • "Generating and Checking Control Logic in the HDL-based Design of Reversible Circuits"
  • "An Improved Gate Library for Logic Synthesis of Optical Circuits"
  • "Towards a Model-Based Verification Methodology for Complex Swarm Systems" (Invited Paper)
  are presented at the

  International Symposium on Embedded computing & system Design (ISED).

• Dec 12, 2016: Our work on Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits has been published in the Journal on Emerging Technologies in Computing Systems (JETC).
• Dec 10, 2016: Our work on "Verifying the Structure and Behavior in UML/OCL Models Using Satisfiability Solvers" has been published in IET Cyber-Physical Systems: Theory & Applications.
• Dec 08, 2016: Alexandru Paler has been appointed PC Member for the Design Automation Conference (DAC).
• Dec 02, 2016: Our work on Verifying the Structure and Behavior in UML/OCL Models Using Satisfiability Solvers has been published in Cyber-Physical Systems: Theory & Applications.
• Nov 29, 2016: Andreas Grimmer has been awarded with the Austrian State Award for the best Master’s degree .
  Press Release Photo 1 Photo 2
• Nov 18-20, 2016: Our works on
  • "Clocks vs. Instants Relations: Verifying CCSL Time Constraints in UML/MARTE Models" and
  • "Frame Conditions in Symbolic Representations of UML/OCL Models"
  are presented at the "International Conference on Formal Methods and Models for System Design" (Memocode).
• Nov 14, 2016: Robert Wille has been appointed member of the Program Committee and Co-Chair for the track on “Biochips and Biological Systems” of the Great Lakes Symposium on VLSI (GLSVLSI).
• Nov 10, 2016: Our work on Reliable quantum circuits have defects has been published in ACM Crossroads.
• Nov 08, 2016: We contribute to the tutorial From Biochips to Quantum Circuits: Computer-Aided Design for Emerging Technologies" which takes place at ICCAD 2016.
• Nov 02, 2016: Robert Wille has been appointed member of the Program Committee for the Summer Computer Simulation Conference (SCSC).
• Oct 24, 2016: Our work on Wire recycling for quantum circuit optimization has been published in Physical Review A, 94(4), 2016
• Oct 24, 2016: Robert Wille has been appointed member of the Program Committee for the Genetic and Evolutionary Computation Conference (GECCO).
• Oct 14, 2016: Robert Wille has been appointed member of the Program Committee for the Design Automation Conference (DAC).
• Oct 10, 2016: Robert Wille has been appointed member of the Program Committee for the International Conference on Reversible Computation (RC).
• Oct 07, 2016: Our work on "Ground Setting Properties for an Efficient Translation of OCL in SMT-based Model Finding" is presented at the MODELS Conference 2016.
• Oct 03, 2016: Our work on "Integrating an SMT-based Model Finder into USE" is presented at the MoDeVVa Workshop.
• Oct 02, 2016: We contribute to the tutorial "When Embedded Systems meet Life Sciences: Microfluidic Biochips for Real-Time Healthcare" which takes place at the ESWEEK 2016.
• Sep 21, 2016: Alexandru Paler gives two talks at the Department of Theoretical Physics, National Institute of Physics and Nuclear Engineering Horia Hulubei, Bucharest, Romania:
  • "Protecting quantum circuits with surface code quantum error correction"
  • "Reliable Quantum Circuits have Defects"
• Sep 19, 2016: Dr. Robert Meolic (Faculty of Electrical Engineering and Computer Science, University of Maribor, Slovenia) visits the institute and gives a talk on "Implementation Aspects of a BDD Package Supporting General Decision Diagrams".
• Sep 14-16, 2016: The Forum on specification & Design Languages (FDL 2016) which is co-organized by us takes place in Bremen, Germany.
• Sep 13, 2016: Robert Wille has been appointed Jury Member for the ACM India Doctoral Dissertation Award.
• Aug 19, 2016: Robert Wille has been appointed member of the Program Committee for the International Symposium on Multiple-Valued Logic (ISMVL).
• Aug 18, 2016: Alexandru Paler gives a talk at the Controlled Quantum Dynamics Group, Institute of Theoretical Physics, University of Ulm.
• Aug 08-12, 2016: Robert Wille speaks at the GIAN Summer School on Logic Design of Quantum Circuits and Memristor-based Systems in Shilong, India.
• Aug 05, 2016: Robert Wille has been appointed member of the Program Committee for the Reed-Muller 2017 Workshop.
• Jul 30, 2016: Robert Wille has been appointed Publication Chair and Member of the Organizing Committee for the International Summer Simulation Multi-Conference (SummerSim'17).
• Jul 28, 2016: Our work on Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability has been published in the Journal on Emerging Technologies in Computing Systems (JETC).
• Jul 27, 2016: Robert Wille has been appointed member for the GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV).
• Jul 26, 2016: Alexandru Paler has been appointed member of the Program Committee for "QCIT Workshop at Globecom 2016".
• Jul 19, 2016: Our paper "From Reversible Logic to Quantum Circuits: Logic Design for an Emerging Technology" has been presented at the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS).
• Jul 15, 2016: Our new book "Automatic Methods for the Refinement of System Models" has been published.
• Jul 11, 2016: Prof. Tsung-Yi Ho (National Tsing Hua University, Taiwan) visits the institute and gives a talk on "The Coming of Age of Microfluidics: EDA Solutions for Enabling Biochemistry on a Chip".
• Jul 07-08, 2016: Our works on
  • "Using πDDs for Nearest Neighbor Optimization of Quantum Circuits",
  • "Checking Reversibility of Boolean Functions",
  • "Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs"
  • "Circular CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant Quantum Circuits"
  are presented at the 8th Conference on Reversible Computation (RC).
• Jul 05-06, 2016: Robert Wille participated at MC and WG meeting of the EU Cost Action 1405 on Reversible Computation.
• Jul 04, 2016: Adam C Whiteside (Google Inc.) visits the institute and gives a talk on "Classic Problems to Make Quantum Computing a Reality".
• Jul 01, 2016: Our work on Embedding of Large Boolean Functions for Reversible Logic has been published in the Journal on Emerging Technologies in Computing Systems (JETC).
• Jun 2016: Our new book "Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015" has been published.
• Jun 26, 2016: Robert Wille has been appointed member of the Program Committee for the ACM Student Research Competition at ICCAD.
• Jun 15, 2016: Dipl.-Math. Dipl.-Inf. Nils Przigoda (University of Bremen, Germany) visits the institute and gives a talk on "Verification at the Formal Specification Level".
• Jun 14, 2016: The special issue covering Selected Papers of the 44th IEEE International Symposium on Multiple-Valued Logic co-edited by us has been published in the Journal of Multiple-Valued Logic and Soft Computing.
• Jun 14, 2016: The special issue on "Emerging Topics in Multiple-Valued Logic and Its Applications" co-edited by us has been published in the Journal of Emerging and Selected Topics in Circuits and Systems (JETCAS); see the guest editorial.
• Jun 14, 2016: The book "Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015" co-edited by us has been published by Springer.
• Jun 14, 2016: Robert Wille has been appointed Program Chair and Member of the Organizing Committee for the International Workshop on Logic & Synthesis (IWLS 2017)
• Jun 10, 2016: We organized a Special Session on "Emerging Technologies" at the International Workshop on Logic & Synthesis (IWLS).
• Jun 05, 2016: Robert Wille has been appointed Publicity Chair and Member of the Organizing Committee for the International High-Level Design Validation and Test Workshop (HLDVT 2016).
• Jun 02, 2016: Robert Wille has been appointed External Expert for proposals submitted to the Open Call OC-2016-1 for the EU COST Association.
• May 25, 2016: The Special Session on Reversible Circuits organized by us takes place at the International Symposium on Circuits and Systems (ISCAS).
• May 18-20, 2016: Our works on
  • "Re-writing HDL Descriptions for Line-aware Synthesis of Reversible Circuits",
  • "Fault Detection in Parity Preserving Reversible Circuits",
  • "Logic Synthesis for Quantum State Generation",
  • "Integrated Synthesis of Linear Nearest Neighbor Ancilla-Free MCT Circuits", as well as
  • "Nearest- Neighbor and Fault-Tolerant Quantum Circuit Implementation",
  are presented at the International Symposium on Multiple-Valued Logic (ISMVL).
• May 17, 2016: Our work in progress on "Optimized Realizations of Expressions for HDL-based Synthesis of Reversible Logic Circuits" is presented at the International Workshop on Post-Binary ULSI Systems (ULSIWS).
• May 17, 2016: Robert Wille gives an invited talk at the International Workshop on Post-Binary ULSI Systems (ULSIWS).
• May 02, 2016: Robert Wille gives an interview to the ÖH Courier (German only).
• April 29, 2016: Michael Preisach successfully completed his Bachelor thesis entitled "Realization of a Two-Wire Protocol on the Raspberry Pi". Congratulations!
• April 26, 2016: Prof. Susmita Sur-Kolay (Advanced Computing & Microelectronics Unit Indian Statistical Institute, Kolkata, India) visits the institute and gives a talk on "Lithography Hurdles in Physical Design Automation".
• April 11, 2016: Robert Wille conducts his inaugural lecture.
• Mar 23, 2016: Robert Wille has been appointed member of the Program Committee for the International Symposium on Embedded computing and system Design (ISED 2016).
• Mar 18, 2016: Andreas Grimmer presents his work on "Supporting Program Analysis for Non-Mainstream Languages: Experiences and Lessons Learned" at the SANER Conference 2016.
• Mar 17, 2016: Our work on "Synthesis of Approximate Coders for On-chip Interconnects Using Reversible Logic" is presented at the DATE Conference 2016.
• Mar 15, 2016: Our work on "Exploiting Inherent Characteristics of Reversible Circuits for Faster Combinational Equivalence Checking" is presented at DATE Conference 2016.
• Mar 15, 2016: Our special issue on "Multiple-Valued Logic and Applications" has been published at the IEEE Journal on Emerging and Selected Topics in Circuits and Systems (JETCAS)
• Mar 14, 2016: Our book chapter "Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision" has been published by Springer.
• Mar 11, 2016: Our work on SyReC: A Hardware Description Language for the Specification and Synthesis of Reversible Circuits has been published in INTEGRATION, the VLSI Jour.
• Mar 09, 2016: Our work on Embedding of Large Boolean Functions for Reversible Logic has been published in ACM Journal on Emerging Technologies in Computing Systems (JETC).

• Mar 02, 2016: Our work on Analyzing Inconsistencies in UML/OCL Models has been published in the Journal of Circuits, Systems and Computers.

• Feb 25, 2016: Robert Wille participated at MC and WG meeting of the EU Cost Action 1405 on Reversible Computation.
• Feb 08, 2016: Andreas Grimmer presents the Computer Science department of the JKU at the HTL Braunau. Photos are available at this page.
• Feb 05, 2016: Berislav Klepic successfully completed his Bachelor thesis entitled "Delta Sigma - Digital Analog Umsetzer". Congratulations!
• Feb 05, 2016: Andreas Grimmer is awarded a PRO SCIENTIA scholarship.
• Jan 29, 2016: Robert Wille has been appointed member of the Program Committee for the International Conference on Advances in System Testing and Validation Lifecycle (VALID 2016).
• Jan 25, 2016: Our work on "Look-ahead Schemes for Nearest Neighbor Optimization of 1D and 2D Quantum Circuits" is presented at the Asia and South Pacific Design Automation Conference.
• Jan 17, 2016: Robert Wille has been appointed member of the Program Committee for the Summer Simulation Multi-Conference (SummerSim'16).
• Jan 08, 2016: Our work on QMDDs: Efficient Quantum Function Representation and Manipulation has been published in IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).

2015

• Dec 06, 2015: Our work on Scalable One-Pass Synthesis for Digital Microfluidic Biochips has been published in IEEE Design & Test.