Dr. Stefan Hillmich

Senior Researcher Software Science

Details

ORCID

Google Scholar

Research Gate

Dr. Stefan Hillmich is a senior researcher for Software Science with a focus on quantum computing and design automation.

Research Interests

Efficient Classical Simulation of Quantum Circuits
Compact Representation of Information in Decision Diagrams
Developing High-Performance Software

Key Facts

Completed his PhD in 2022
IBM Qiskit Advocate
Serves as Reviewer in various international Conferences and Journals
ISTQB Certified Tester, ACM and IEEE Member
Recurring Mentor for the NYU Abu Dhabi Hackathon

Publikationen

2024
Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers

Schoenberger, D., Hillmich, S., Brandl, M., & Wille, R. (2024). Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers. 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC).
2023
Getting QuantumReady: A Framework for Exploiting Quantum Computing in SMEs

Hillmich, S., Bruckner, S., Ferrarotti, F., & Ramler, R. (2023). Getting QuantumReady: A Framework for Exploiting Quantum Computing in SMEs. Munich Quantum Software Forum (MQSF 2023)
Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams

Hillmich, S., & Wille, R. (2024). Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams. Synthesis Lectures on Engineering, Science, and Technology.
Mixed-Dimensional Quantum Circuit Simulation with Decision Diagrams

Mato, K., Hillmich, S., & Wille, R. (2023). Mixed-Dimensional Quantum Circuit Simulation with Decision Diagrams. 2023 IEEE International Conference on Quantum Computing and Engineering (QCE).
Error mitigation enables PET radiomic cancer characterization on quantum computers

Moradi, S., Spielvogel, C., Krajnc, D., Brandner, C., Hillmich, S., Wille, R., Traub-Weidinger, T., Li, X., Hacker, M., Drexler, W., & Papp, L. (2023). Error mitigation enables PET radiomic cancer characterization on quantum computers. European Journal of Nuclear Medicine and Molecular Imaging.
Compression of Qubit Circuits: Mapping to Mixed-Dimensional Quantum Systems

Mato, K., Hillmich, S., & Wille, R. (2023). Compression of Qubit Circuits: Mapping to Mixed-Dimensional Quantum Systems. 2023 IEEE International Conference on Quantum Software (QSW).
Efficient Implementation of LIMDDs for Quantum Circuit Simulation

Vinkhuijzen, L., Grurl, T., Hillmich, S., Brand, S., Wille, R., Laarman, A. (2023). Efficient Implementation of LIMDDs for Quantum Circuit Simulation. Model Checking Software. SPIN 2023. LNCS 13872. Springer,
Compilation of Entangling Gates for High-Dimensional Quantum Systems

Mato, K., Ringbauer, M., Hillmich, S., and Wille, R. (2023). Compilation of Entangling Gates for High-Dimensional Quantum Systems. In: Asia and South Pacific Design Automation Conference (ASPDAC). ACM.
Decision Diagrams for Quantum Computing

Wille, R., Hillmich, S., & Burgholzer, L. (2023). Decision Diagrams for Quantum Computing. In: Rasit O. Topaloglu (Ed.), Design Automation of Quantum Computers. Springer, 2023.
2022
Approximating Decision Diagrams for Quantum Circuit Simulation.

Hillmich, S., Zulehner, A., Kueng, R., Markov, I. L., & Wille, R. (2022). Approximating Decision Diagrams for Quantum Circuit Simulation. ACM Transactions on Quantum Computing, 3(4), 1–21.
Adaptive Compilation Mulit-Level Quantum Operations

Mato, K., Ringbauer, M., Hillmich, S., & Wille, R. (2022). Adaptive Compilation of Multi-Level Quantum Operations. 2022 IEEE International Conference on Quantum Computing and Engineering (QCE).
The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, ans ZX-Calculus.

Wille, R., Burgholzer, L., Hillmich, S., Grurl, T., Ploier, A., & Peham, T. (2022). The basis of design tools for quantum computing. Proceedings of the 59th ACM/IEEE Design Automation Conference.
Clinical data classification with noisy intermediate scale quantum computers.

Moradi, S., Brandner, C., Spielvogel, C., Krajnc, D., Hillmich, S., Wille, R., Drexler, W., & Papp, L. (2022). Clinical data classification with noisy intermediate scale quantum computers. Scientific Reports, 12(1).
Tools for Quantum Computing Based on Decision Diagrams

Wille, R., Hillmich, S., & Burgholzer, L. (2022). Tools for Quantum Computing Based on Decision Diagrams. ACM Transactions on Quantum Computing, 3(3), 1–17.
2021
Decision Diagrams for Quantum Measurements with Shallow Circuits

Hillmich, S., Hadfield, C., Raymond, R., Mezzacapo, A., & Wille, R. (2021). Decision Diagrams for Quantum Measurements with Shallow Circuits. 2021 IEEE International Conference on Quantum Computing and Engineering (QCE).
As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation

Hillmich, S., Kueng, R., Markov, I. L., & Wille, R. (2021). As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation. 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Exploiting Quantum Teleportation in Quantum Circuit Mapping

Hillmich, S., Zulehner, A., & Wille, R. (2021). Exploiting Quantum Teleportation in Quantum Circuit Mapping. Proceedings of the 26th Asia and South Pacific Design Automation Conference.
2020
JKQ: JKU tools for quantum computing

Wille, R., Hillmich, S., & Burgholzer, L. (2020). JKQ. Proceedings of the 39th International Conference on Computer-Aided Design.

Dr. Stefan Hillmich

Details

Research Interests

Key Facts

Publikationen

2024

Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers

2023

Getting QuantumReady: A Framework for Exploiting Quantum Computing in SMEs​

Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams

Mixed-Dimensional Quantum Circuit Simulation with Decision Diagrams

Error mitigation enables PET radiomic cancer characterization on quantum computers

Compression of Qubit Circuits: Mapping to Mixed-Dimensional Quantum Systems

Efficient Implementation of LIMDDs for Quantum Circuit Simulation

Compilation of Entangling Gates for High-Dimensional Quantum Systems

Decision Diagrams for Quantum Computing

2022

Approximating Decision Diagrams for Quantum Circuit Simulation.

Adaptive Compilation Mulit-Level Quantum Operations

The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, ans ZX-Calculus.

Clinical data classification with noisy intermediate scale quantum computers.

Tools for Quantum Computing Based on Decision Diagrams

2021

Decision Diagrams for Quantum Measurements with Shallow Circuits

As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation

Exploiting Quantum Teleportation in Quantum Circuit Mapping

2020

JKQ: JKU tools for quantum computing

Getting QuantumReady: A Framework for Exploiting Quantum Computing in SMEs