Christina Jansen

christina
Email
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