- noll at cs.rwth-aachen.de
- Address
- Room 4211
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21213
I am an associate professor (apl. Prof.) at the Software Modeling and Verification Group (MOVES), headed by Prof. Joost-Pieter Katoen, in the Department of Computer Science at RWTH Aachen University. My current research interests include:
- Attestor: A Shape Analysis Tool based on Graph Grammars (successor to Juggrnaut: Verifying Pointer Programs with Unbounded Heap Structures)
- COMPASS: Correctness, Modeling and Performance of Aerospace Systems
- VPLC: Verification of Programmable Logic Controller Code