| 2023 | ACM SIGDA Meritorious Service Award (for "leading positions in major ACM SIGDA conferences") |
| 2023 | TeachInf Award for the best mandatory Computer Science lecture in the winter semester 2022/2023 at the Technical University of Munich |
| 2023 | Candidate for the Best Paper Award at the International Workshop on Logic Synthesis (IWLS) for the paper “Technology Mapping for Beyond-CMOS Circuitry with Unconventional Cost Functions“ |
| 2023 | Candidate for the Best Paper Award at the Asia and South Pacific Design Automation Conference (ASP-DAC) conference for the paper “A SAT Encoding for Optimal Clifford Circuit Synthesis“ |
| 2022 | Candidate for the Best Paper Award at the Design, Automation and Test in Europe (DATE) for the paper “Comprehensive and Accessible Channel Routing for Microfluidic Devices” |
| 2022 | 10-year Retrospective Most Influential Paper Award at the Asia and South Pacific Design Automation Conference (ASP-DAC) for the paper “Synthesis of Reversible Circuits with Minimal Lines for Large Functions” |
| 2021 | Candidate for the Best Paper Award at the Design, Automation and Test in Europe (DATE) for the paper "As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation" |
| 2021 | Candidate for the Best Paper Award at the Asia and South Pacific Design Automation Conference (ASP-DAC) for the paper "One-Pass Synthesis for Field-coupled Nanocomputing Technologies" |
| 2020 | ERC Consolidator Grant |
| 2020 | 1st place in the "Vote Your Prof"-competition for exceptional performance in teaching at JKU |
| 2020 | Candidate for the Best Paper Award at the Workshop on Machine Learning for CAD (MLCAD) for the paper "Cost Optimization at Early Stages of Design Using Deep Reinforcement Learning" |
| 2020 | Best Paper Award from the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems for the paper "An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures" |
| 2020 | Candidate for the Best Paper Award at the IEEE Computer Society Annual Symposium on VLSI (ISVLSI) for the paper “Bail on Balancing: An Alternative Approach to the Physical Design of Field-coupled Nanocomputing Circuits” |
| 2019 | 3rd Place in the IBM Quantum Challenge 2019 |
| 2019 | Best Research Demo Award from the IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
| 2019 | Under-40 Innovators Award from the Design Automation Conference (DAC) |
| 2019 | Candidate for the Best Paper Award at the Design, Automation and Test in Europe (DATE)
for the paper "Better Late Than Never: Verification of Embedded Systems After Deployment" |
| 2019 | Candidate for the Best Paper Award at the Asia and South Pacific Design Automation Conference (ASP-DAC)
for the paper "A Staircase Structure for Scalable and Efficient Synthesis of Memristor-Aided Logic" |
| 2018 | Winner of the IBM QISKit Developer Challenge |
| 2018 | Google Research Award for our work on simulation of quantum computations |
| 2017 | Candidate for the Best Paper Award at the High Performance Extreme Computing Conference (HPEC)
for the paper "Advanced Load Balancing for SPH Simulations on Multi-GPU Architectures" |
| 2015 | Nominated for the "Berninghausen-Preis für hervorragende Lehre" |
| 2014 | Candidate for the Best Paper Award at the Forum on Specification and Design Languages (FDL)
for the paper "Automatic Refinement Checking for Formal System Models" |
| 2014 | Candidate for the Best Paper Award at the Asia and South Pacific Design Automation Conference (ASP-DAC)
for the paper "Efficient Synthesis of Quantum Circuits Implementing Clifford Group Operations" |
| 2013 | Best Paper Award from the International Conference on Computer Aided Design (ICCAD)
for the paper "Improved SAT-based ATPG: More Constraints, Better Compaction" |
| 2011 | Nominated for the "Berninghausen-Preis für hervorragende Lehre" |
| 2010 | "Best Paper Award" from the Forum on Specification and Design Languages (FDL)
for the paper "SyReC: A Programming Language for Synthesis of Reversible Circuits" |
| 2010 | Bremen Study Award (for the dissertation) |
| 2010 | Finalist at the "Best Computer Science Thesis Award" 2009 by the German Informatics Society (GI), the Swiss Informatics Society (SI), the Austrian Computer Society (OCG), and the German Chapter of the ACM |
| 2010 | Finalist at the ACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation |
| 2010 | Finalist at the EDAA Outstanding Dissertation Award |
| 2008 | "Young Researchers Award" from the IEEE International Symposium on Multiple-Valued Logic (ISMVL) |
| 2001 | Highschool Award by the Mayor of the City of Gera |
| 2023 | Audience Choice Award for a team co-mentored by Stefan Hillmich at the NYUAD Hackathon for Social Good in the Arab World |
| 2023 | Best Poster Award (for the presentation on "Detection of Sensor-To-Sensor Variations Using Explainable AI" presented at the Smart Systems Integration Conference by Sarah Seifi) |
| 2023 | Best Student Paper Award (for the paper "Automatic Implementation and Evaluation of Error-Correcting Codes for Quantum Computing: An Open-Source Framework for Quantum Error Correction" published at VLSI Design by Thomas Grurl) |
| 2022 | DAC Young Fellow Best Video Award (awarded to Stefan Hillmich) |
| 2022 | Promotio sub auspiciis Praesidentis rei publicae (awarded to Alwin Zulehner) |
| 2022 | JKU Early Research Achievement Award (awarded to Lukas Burgholzer) |
| 2021 | JKU Early Research Achievement Award (awarded to Kevin Verma) |
| 2020 | Best Poster Award (for the Young Student Fellow Program presentation at DAC awarded to Stefan Hillmich) |
| 2020 | Heinz Zemanek Preis (given by the Österreichische Computergesellschaft (ÖCG)) for the dissertation to Alwin Zulehner) |
| 2020 | EDAA Outstanding Dissertation Award (given by the European Design and Automation Association (EDAA)) for the dissertation to Alwin Zulehner) |
| 2019 | Award of Excellence (given by the Austrian Ministry of Education for the dissertation to Andreas Grimmer) |
| 2019 | Winner of the ACM Student Research Competition at ICCAD (awarded to Stefan Hillmich) |
| 2019 | KlarText Preis (awarded to Andreas Grimmer) |
| 2019 | JKU Early Research Achievement Award (awarded to Alwin Zulehner) |
| 2019 | JKU Early Research Achievement Award (awarded to Andreas Grimmer) |
| 2019 | Best Poster Award (for the PhD Forum presentation at DAC awarded to Alwin Zulehner) |
| 2019 | Best Poster Award (for the PhD Forum presentation at DATE awarded to Andreas Grimmer) |
| 2019 | Best Poster Award (for the PhD Forum presentation at ASP-DAC awarded to Alwin Zulehner) |
| 2018 | UBIT Award (given by the Upper Austrian Economic Chamber to Berislav Klepic) |
| 2018 | OCG Incentive Award (awarded to Andreas Grimmer) |
| 2017 | Best Poster Award (for the PhD Forum presentation at DATE awarded to Philipp Niemann) |
| Institute of Electrical and Electronics Engineers (IEEE) |
| Association for Computing Machinery (ACM) |
| European Design and Automation Association (EDAA) |
| Gesellschaft für Informatik (German Computer Science Society) |
| Österreichische Geschellschaft für Informatik (Austrian Computer Science Society) |
| Association for Electrical, Electronic & Information Technologies (VDE) |
| Deutscher Hochschulverband (DHV) |
| 2022 | MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing (available at https://www.cda.cit.tum.de/mqtbench/) |
| 2018 | Simulation approach for droplet microfluidics (available at https://www.cda.cit.tum.de/research/microfluidics_simulation/) |
| 2018 | Automatic approach for the mapping of quantum circuits to IBM QX Architectures (available at https://www.cda.cit.tum.de/research/ibm_qx_mapping/) |
| 2018 | Automatic approach for a sound valve control for Programmable Microfluidic Devices (available at https://www.cda.cit.tum.de/research/pmd/) |
| 2017 | One-pass design solution for reversible circuits (available at https://www.cda.cit.tum.de/research/one_pass_design_of_reversible_circuits/) |
| 2017 | Quantum Simulator (available at https://www.cda.cit.tum.de/quantum_simulation) |
| 2017 | Tagged BDDs: Combining Reduction Rules from Different Decision Diagram Types (available at fmv.jku.at/tbdd) |
| 2016 | QMDD - a Decision Diagram Package for the Efficient Representation and Manipulation of Quantum Functionality (available at informatik.uni-bremen.de/agra/eng/qmdd.php) |
| 2014 | RevVis: Toolkit for the visualization of structures and properties in
reversible circuits (available at informatik.uni-bremen.de/agra/eng/revvis.php) |
| 2010 | RevKit: Toolkit for reversible circuit design (available at www.revkit.org) |
| 2008 | SWORD: Satisfiability solver (SMT-solver) for the QF_BV-logic (available at informatik.uni-bremen.de/agra/eng/sword.php) |
| 2008 | RevLib: Online-database for benchmarks within the domain of reversible and quantum circuit design (available at www.revlib.org) |