Roy Hermanns

Photo of Roy Hermanns
Email
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:

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:

Publications

2025
DOIThomas 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.