- noll at cs.rwth-aachen.de
- Address
- Room 4211 (building E1, 2nd floor)
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, Safety and Security of Hardware/Software Systems
- Formal Verification of Artificial Neural Networks