- 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 CS Department of RWTH Aachen University. My research interests include:
- COMPASS: Correctness, Modeling and Performance of Aerospace Systems
- D-MILS: Distributed MILS for Dependable Information and Communication Infrastructures
- Juggrnaut: Verifying Pointer Programs with Unbounded Heap Structures
- VPLC: Verification of Programmable Logic Controller Code