Thomas Noll

 

noll-2
Email
noll at cs.rwth-aachen.de
Address
Room 4211 (CS Department, 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

Conferences and Workshops

Publications

Courses and Seminars

Supervision of Theses

Administration