Newsarchive

• 2021 »
• 2020 »
• 2019 »
• 2018 »
• 2017 »
• 2016 »

2021

• Feb 23, 2022: Robert Wille commented 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.
• Dec 14, 2022: 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 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 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 Intiative 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 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, 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
  • "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 International Conference on 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 (GLVLSI).
• 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 Caltch 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, 2019: 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, 2019: 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, 2019: 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 IBM's 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 Computation"
  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" has been published 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, 2018: 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 International Conference on 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, 2016: 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 You tube.
• 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 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 m icrofluidic 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 overwiew 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 wining 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 International Conference on 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 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 Associated 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 Associated 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 Confernce (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 Reasearch 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, 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 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 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).
• 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).
• Dec 06, 2015: Our work on Scalable One-Pass Synthesis for Digital Microfluidic Biochips has been published in IEEE Design & Test.

back to mainpage