Thomas Noll

Address:

Priv.-Doz. Dr. Thomas Noll
Lehrstuhl für Informatik II
RWTH Aachen University
D-52056 Aachen
Germany

Room:

4209, Ahornstr. 55, D-52074 Aachen

Phone:

+49/241/80-21213

Fax:

+49/241/80-22217

Email:

noll@cs.rwth-aachen.de

Consulting hours:

by appointment

Research Interests

• Semantics and Verification of Distributed Systems
  • Process algebras
  • Semantic frameworks
  • Model-checking methods
  • Theorem-proving methods
• Theory of Program Schemes
  • Expressivity of programming language constructs
  • Connections to dataflow analysis
• Syntax-Directed Semantics
  • Higher-order attribute grammars

Publications

Teaching Activities

Other Professional Activities