- christina.jansen at cs.rwth-aachen.de
- Address
- Room 4205
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21212
I am a Postdoc at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
My research interests include:
- static program analysis and verification (focus: heap-manipulating programs)
- graph grammars and graph transformation
- separation logic
- heap abstraction
- concurrency