Contact

Johannes Kepler University Linz
Institute for Integrated Circuits
Doris Nikolaus
Altenberger Straße 69 | SCP4 0329
4040 Linz | Austria
doris.nikolaus@jku.at
Tel: +43 732 2468 4730

Map and directions to JKU

Dr. Stefan Hillmich

Dr. Stefan Hillmich
Former Post doc


stefan.hillmich@jku.at

Curriculum Vitae

Personal Data

Name:Stefan Hillmich
Nationality:German

Education

07-2004–07/2010High School, Aschersleben, Germany
10/2011–08/2015Bachelor's Degree in Computer Science, University Bremen, Germany
Bachelor’s Thesis: "Analyse beliebiger Spielsituationen des Kartenspiels Skat mit Hilfe Boolescher Erfüllbarkeit und Bitvektorlogik" (engl. "Determining Perfect Moves for the Card Game Skat using Boolean Satisfiability")
09/2015–08/2018Master's Degree in Computer Science, University Bremen, Germany
Master’s Thesis: "Graph-Based Analysis of Growth Patterns in the True Slime Mold Physarum polycephalum"
07/2016–12/2016Exchange Semester at Massey University, Palmerston North, New Zealand
10/2018–11/2022Doctorate, Johannes Kepler University Linz, Austria
Dissertation: "Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams"

Awards & Honors

  1. Invitation to the 11th NYUAD Hackathon as mentor (the mentored team received the “Audience Choice Award”), April 2023
  2. Best Video Award in the DAC Young Fellow program at the Design Automation Conference (DAC), July 2022
  3. Invitation to the 10th NYUAD Hackathon as mentor, March 2022
  4. Participated in the IBM Quantum Challenge Africa 2021 and successfully solved all posed problem (over 900 people participated), September 2021
  5. Acceptance into the IBM Qiskit Advocate Program, August 2021
  6. Invited Talk on “Decision Diagrams for Quantum Computing” at the Free University Berlin, Institute of Physics, AG Eisert (Germany), June 2021
  7. Participated in the IBM Quantum Challenge 2021 and attained the best possible score (over 1400 people participated), May 2021
  8. Participated in the IBM Quantum Challenge Fall 2020 and placed 8th out of over 1000 participants, December 2020
  9. Best Poster Award for the Young Student Fellow Program presentation “Decision Diagrams for Quantum Computing” at the Design Automation Conference (DAC), July 2020
  10. Acceptance into the Young Student Fellow Program at the Design Automation Conference (DAC), July 2020
  11. Winner at “Vote Your Prof 2.0” from student’s association party “Meine AG” for the teaching of Computer Architecture 2020 (officially awarded to Prof. Robert Wille), June 2020
  12. Invitation to the IBM Qiskit Camp in the USA (postponed due to COVID-19), March 2020
  13. Winner of SRC@ICCAD the ACM Student Research Competition at International Conference on Computer Aided Design (ICCAD), November 2019
  14. Invitation to the IBM Qiskit Camp Asia 2019, November 2019
  15. 3rd place at the IBM Quantum Challenge 2019, October 2019
  16. Invited Talk on “Advanced EDA for Quantum computing” at the IIT Kharagpur (India), May 2019
  17. PROMOS scholarship funded by the German Academic Exchange Service (DAAD) for the semester abroad in New Zealand, July 2016

Publications

Books

  1. S. Hillmich and R. Wille. Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams. Springer, 2023. DOI

Book Chapters

  1. R. Wille, S. Hillmich, and L. Burgholzer. Decision Diagrams for Quantum Computing. In R. O. Topaloglu, editor, Design Automation of Quantum Computers. Springer, 2023. DOI
  2. S. Hillmich, C. Hopfmüller, and C. Bäck. Optical Computing. In R. Wille, O. Keszocze, and R. Drechsler, editors, Synthese- und Optimierungsverfahren für zukünftige Computerparadigmen. Shaker, 2015.

Tutorials

  1. R. Wille, L. Burgholzer, S. Hillmich, T. Grurl, A. Ploier, and T. Peham. The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus. In Design Automation Conference (DAC), 2022.
  2. R. Wille, S. Hillmich, and L. Burgholzer. JKQ: JKU Tools for Quantum Computing. In International Conference on Computer Aided Design (ICCAD), 2020. PDF
  3. R. Wille, S. Hillmich, and L. Burgholzer. Effcient and Correct Compilation of Quantum Circuits. In IEEE International Symposium on Circuits and Systems, 2020. PDF

Journals

  1. S. Moradi, Clemens Spielvogel, Denis Krajnc, C. Brandner, Stefan Hillmich, Robert Wille, T. Traub-Weidinger, X. Li, M. Hacker, W. Drexler, and L. Papp. Error mitigation enables PET radiomic cancer characterization on quantum computers. European Journal of Nuclear Medicine and Molecular Imaging (EJNM), 2023. DOI.
  2. S. Hillmich, A. Zulehner, R. Kueng, I. L. Markov, and R. Wille. Approximating Decision Diagrams for Quantum Circuit Simulation. ACM Transactions on Quantum Computing (TQC), 2022. DOI
  3. S. Moradi, C. Brandner, C. Spielvogel, D. Krajnc, S. Hillmich, R. Wille, W. Drexler, and L. Papp. Clinical data classification with noisy intermediate scale quantum computers. Nature Scientific Reports (SciRep), 2022. DOI
  4. R. Wille, S. Hillmich, and L. Burgholzer. Tools for Quantum Computing Based on Decision Diagrams. ACM Transactions on Quantum Computing (TQC), 2021. DOI
  5. A. Kole, S. Hillmich, K. Datta, R. Wille, and I. Sengupta. Improved Mapping of Quantum Circuits to IBM QX Architectures. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2020. PDF
  6. A. Deb, R. Wille, O. Keszocze, S. Hillmich, and R. Drechsler. Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits. Journal on Emerging Technologies in Computing Systems (JETC), 13(1), 2016. DOI

Conferences

  1. D. Schönberger, S. Hillmich, M. Brandl, and R. Wille. Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers. In Asia and South Pacific Design Automation Conference (ASP-DAC), 2024.
  2. K. Mato, S. Hillmich, and R. Wille. Compression of Qubit Circuits: Mapping to Mixed-Dimensional Quantum Systems. In IEEE International Conference on Quantum Software (QSW). 2023.
  3. L. Vinkhuijzen, T. Grurl, S. Hillmich, S. Brand, R. Wille, and A. Laarman. Efficient implementation of LIMDDs for quantum circuit simulation. In International Symposium on Model Checking of Software (SPIN), 2023. PDF
  4. K. Mato, M. Ringbauer, S. Hillmich, and R. Wille. Compilation of Entangling Gates for High-Dimensional Quantum Systems. In Asia and South Pacific Design Automation Conference (ASP-DAC), 2023. Acceptance rate: 31%. PDF
  5. K. Mato, M. Ringbauer, S. Hillmich, and R. Wille. Adaptive Compilation of Multi-Level Quantum Operations. In IEEE International Conference on Quantum Computing and Engineering (QCE), 2022. PDF arXiv
  6. S. Hillmich, L. Burgholzer, F. Stögmüller, and R. Wille. Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. In Conference on Reversible Computation (RC), 2022. PDF
  7. S. Hillmich, C. Hadfield, R. Raymond, A. Mezzacapo, and R. Wille. Decision Diagrams for Quantum Measurements with Shallow Circuits. In IEEE International Conference on Quantum Computing and Engineering (QCE), 2021. PDF arXiv
  8. S. Hillmich, R. Kueng, I. L. Markov, and R. Wille. As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation. In Design, Automation and Test in Europe (DATE), 2021. Acceptance rate: 24%, Best Paper Award Candidate. PDF arXiv
  9. S. Hillmich, A. Zulehner, and R. Wille. Exploiting Quantum Teleportation in Quantum Circuit Mapping. In Asia and South Pacific Design Automation Conference (ASP-DAC), 2021. Acceptance rate: 34%. PDF arXiv
  10. S. Hillmich, I. Markov, and R. Wille. Just Like the Real Thing: Fast Weak Simulation of Quantum Computation. In Design Automation Conference (DAC), 2020. Acceptance rate: 23%. PDF arXiv
  11. T. Grurl, J. Fuß, L. Burgholzer, S. Hillmich, and R. Wille. Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators. In International Symposium on Multiple-Valued Logic (ISMVL), 2020. PDF
  12. A. Zulehner, S. Hillmich, I. Markov, and R. Wille. Approximation of Quantum States Using Decision Diagrams. In Asia and South Pacific Design Automation Conference (ASP-DAC), 2020. Acceptance rate: 33%. PDF arXiv
  13. S. Hillmich, A. Zulehner, and R. Wille. Concurrency in DD-based Quantum Circuit Simulation. In Asia and South Pacific Design Automation Conference (ASP-DAC), 2020. Acceptance rate: 33%. PDF
  14. A. Zulehner, S. Hillmich, and R. Wille. How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computation. In International Conference on Computer Aided Design (ICCAD), 2019. Acceptance rate: 24%, Best Paper Award Candidate. PDF arXiv
  15. R. Wille, O. Keszocze, S. Hillmich, M. Walter, and A. Garcia-Ortiz. Synthesis of Approximate Coders for On-chip Interconnects Using Reversible Logic. In Design, Automation and Test in Europe (DATE), pages 1140-1143, 2016. Acceptance rate: 34%. PDF

Peer-Reviewed Workshops

  1. K. Mato, S. Hillmich, and R. Wille. Software for High-Dimensional Quantum Computing. In Gesellschaft für Informatik Quantum Computing Workshop (GI QC), 2023.
  2. R. Wille, S. Hillmich, and L. Burgholzer. MQT: The Munich Quantum Toolkit. In Gesellschaft für Informatik Quantum Computing Workshop (GI QC), 2022.
  3. R. Wille, S. Hillmich, and L. Burgholzer. JKQ: JKU Tools for Quantum Computing. In International Workshop on Programming Languages for Quantum Computing (PLanQC 2021), 2021. PDF
  4. S. Hillmich, A. Zulehner, and R. Wille. Exploiting Quantum Teleportation in Quantum Circuit Mapping. In International Workshop on Quantum Compilation (IWQC), 2020.
  5. S. Hillmich, L. Burgholzer, and R. Wille. Efficient and Correct Compilation of Quantum Circuits. In International Workshop on Quantum Compilation (IWQC), 2019.
  6. A. Deb, R. Wille, O. Keszocze, S. Hillmich, and R. Drechsler. Synthesis of Optical Circuits with Contradictory Optimization Objectives. In International Workshop on Optical/Photonic Interconnects for Computing Systems (OPTICS), 2016.