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 deductive verification of quantum programs. In more detail, I work with Quantum Weakest Preconditions, a method to compute the best predicate, that ensures that a given postcondition holds after the quantum program is executed. I consider quantum programs from a theoretical point of view, that means everything I do is based on linear algebra.

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

Previous semester

Publications

You can find me on dblp and ORCID.

2023
DOI fulltext PDF [bibtex]
@article{MCTPRPP2023,
title = {Model Checking Temporal Properties of Recursive Probabilistic Programs},
author = {Tobias Winkler and Christina Gehnen and Joost-Pieter Katoen},
publisher = {Department of Theoretical Computer Science, Technical University of Braunschweig},
journal = {Logical methods in computer science},
volume = {19(4)},
pages = {pages 24},
type = {Journal Article},
year = {2023},
doi = {10.46298/lmcs-19(4:24)2023},
url = { https://publications.rwth-aachen.de/record/976967},
}×
[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
DOI fulltext PDF [bibtex]
@conference{MCTPRPP2022,
title = {Model Checking Temporal Properties of Recursive Probabilistic Programs},
author = {Tobias Winkler and Christina Gehnen and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {13242},
pages = {449-469},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-030-99253-8_23},
url = { https://publications.rwth-aachen.de/record/843600},
}×
[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.
DOI fulltext PDF [bibtex]
@masterthesis{P2022,
title = {POMDP-based execution models for probabilistic programs with partial observability},
author = {Christina Gehnen},
publisher = {RWTH Aachen University},
institution = {RWTH Aachen University},
pages = {1 Online-Ressource: Illustrationen},
type = {Master Thesis},
year = {2022},
doi = {10.18154/RWTH-2024-02599},
url = { https://publications.rwth-aachen.de/record/980855},
}×
[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