I am a PhD student jointly affiliated with the Chair for Quantum Information Systems and the Software Modeling and Verification Group (MOVES) at RWTH Aachen.
Contact
Email: christina.gehnen at cs.rwth-aachen.de
Phone: +49 241 80 21228
Campus Boulevard 55–57
Building 4731
52074 Aachen
Research
My research focuses on verification of quantum programs.