Matthias Naaf

Address

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

Office Hours

Whenever the door is open.

Research

  • Provenance Analysis of Logic and Games
  • Semirings for Provenance Analysis
  • Fixed-Point Theory in Semirings

Recent Publications

All publications