- 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 deductive 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.
2023 | |
---|---|
[bibtex] [issue] | Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen. Model Checking Temporal Properties of Recursive Probabilistic Programs, Logical methods in computer science 19 (4), pages 24, Department of Theoretical Computer Science, Technical University of Braunschweig, 2023. |
2022 | |
[bibtex] [issue] | Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen. Model Checking Temporal Properties of Recursive Probabilistic Programs, Foundations of Software Science and Computation Structures : 25. International Conference (FOSSACS 2022), Volume 13242 of LNCS, 449-469, Springer, 2022. |
[bibtex] [issue] | Christina Gehnen. POMDP-based execution models for probabilistic programs with partial observability, Master Thesis, RWTH Aachen University, 1 Online-Ressource: Illustrationen, RWTH Aachen University, 2022. |
Show all |
Peer Review
- FM 2024 (external reviewer)