Thomas Noll

 

noll-2
Email
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

Conferences

Publications

Talks

Courses and Seminars

Supervision of Theses

Administration