Matthias Naaf

Address

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Phone: +49-241-80-21715
Fax: +49-241-80-22215
Room: 4119 (E1) / Ahornstr. 55
Email: naaf [AT] logic.rwth-aachen.de

Office Hours

Whenever the door is open / by appointment.

Research

  • Provenance analysis of logic and games
  • Fixed-point theory for semirings
  • Model theory for logics with semiring semantics

Teaching

Selected Talks

Recent Publications

All publications