![christinagehnen](https://moves.rwth-aachen.de/wp-content/uploads/ChristinaGehnen-150x150.jpg)
- 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.
Thesis projects
If you are interested in writing a Bachelor’s or Master’s thesis about formal verification of quantum programs, don’t hesitate to contact me.
Teaching
Current semester
Publications
You can find me on dblp.