Christina Jansen

Member until

Feb 2018

Now at

real.digital, Cologne, Germany

Address

Room 4205
Ahornstraße 55
D-52074 Aachen

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

Publications