- christina.gehnen at cs.rwth-aachen.de
- Address
- Room 4207
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21228
I am a PhD student jointly affiliated with the Software Modeling and Verification Group headed by Professor Joost-Pieter Katoen and the Chair for Quantum Information Systems headed by Professor Dominique Unruh.
Research
My research focuses on verification of quantum programs.