Contact

Johannes Kepler University Linz
Institute for Integrated Circuits
Univ.-Prof. Dr. Harald Pretl
Altenberger Straße 69 | SCP4 0332
4040 Linz | Austria
harald.pretl@jku.at
Tel: +43 732 2468 4748

Map and directions to JKU

Newsarchive

2021

  • 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 works 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 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 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
  • Mar 08, 2019: 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 “Recordering 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 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 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

2019

2018

2017

2016

back to mainpage