Christina Gehnen

christinagehnen
Email
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.