Christina Jansen

Christina Jansen is a Research Fellow at the Software Modeling and Verification Group (MOVES) at RWTH Aachen University, led by Professor J.-P. Katoen. Her research focuses on static program analysis, verification of heap-manipulating programs, graph grammars, and concurrency. She holds a position within the Department of Computer Science at RWTH Aachen University.

Research Interests:

• Static program analysis techniques for verifying complex systems.
• Formal methods for heap abstraction and separation logic.
• Graph transformation systems and their applications in software modeling.
• Concurrency theory and parallel program verification.

Affiliations:

• MOVES Group (RWTH Aachen University)
• Department of Computer Science, RWTH Aachen University

Christina contributes to foundational research in formal methods without explicitly listed publications in the provided text. No scientific awards are mentioned for her directly.