- noll at cs.rwth-aachen.de
- Address
- Room 4211 (Building E1)
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:
- Static Program Analysis for Software Optimisation and Verification
- Reliability and Safety Analysis of Hardware/Software Systems
- Formal Verification of Artificial Neural Networks