Roy Hermanns

- roy.hermanns at cs.rwth-aachen.de
- Address
- Room 4210
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21208
I am a PhD student in the Software Modeling and Verification Group headed by Professor Joost-Pieter Katoen. I also work closely with the Quantum Technology Group headed by Professor Hendrik Bluhm.
Research
My reasearch involves on the lower levels of quantum compilation, i.e. generation, scheduling, and optimization of device operation for quantum processors. The focus lies on quantum processor architectures featuring shuttling-operations, that allow physically moving qubits.
More specific topics of interest are:
- Qubit Routing via Multi-Agent Pathfinding methods
- Quantum Error Correction
Thesis Projects
If you are interested in writing a Bachelor/Master’s thesis in the area quantum compiler optimization feel free to contact me. Currently there are no open thesis topics, but You are invited to bring own ideas, or we can develop new ad-hoc topics in ongoing research.
Teaching
I’m assisting in:
- Compiler Construction (SS25)
- Practical Course – Implementation of Heuristic Algorithms for Board Games (SS25)
- Concurrency Theory (WS25/26)
Publications
| 2025 | |
|---|---|
| DOI | Thomas Noll, Christina Gehnen, Roy Hermanns. Quantum Computing: From Weakest Preconditions to Voltage Pulses, Principles of verification: cycling the probabilistic landscape, part 1 / nils jansen, sebastian junges, benjamin lucien kaminski, christoph matheja, thomas noll, tim quatmann, mariëlle stoelinga, matthias volk, editors, 201-229, Springer, 2025. |
| 2024 | |
| Roy Hermanns. Optimized routing for shuttling-based quantum processing architectures, 2024. | |