Thomas Noll

E-Mail:

noll@cs.rwth-aachen.de

Phone:

+49-241-80-21213

Fax:

+49-241-80-22217

Postal Address:

Thomas Noll

Lehrstuhl für Informatik 2

RWTH Aachen University

D-52056 Aachen

Germany

Visiting Address:

Room 4211

Ahornstraße 55

D-52074 Aachen

I am a lecturer (Privatdozent) at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.

My research interests include:

System-Software Co-Engineering of Aerospace Systems
Analysis and Verification of Pointer-Manipulating Programs
Equational Abstractions for Software Model Checking
Formal Models of Microcontroller Systems

BSc/MSc/Diploma Topics
Teaching WS09/10
Hybrid Systems Group

1-2 stud. Hilfskr. zur Unterstützung bei der Erstellung eines neuen Foliensatzes für "Datenstrukturen & Algorithmen 2010". (mehr)

Tingting Han defended her thesis "Synthesis, Diagnosis and Analysis of Probabilistic Systems" with highest praise at the University of Twente (NL) and today also at the RWTH Aachen! (more)