Matthias Naaf

Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Telefon:   +49-241-80-21715
Fax:   +49-241-80-22215
Büro:   4119 (E1) / Ahornstr. 55
E-Mail:   naaf [AT] logic.rwth-aachen.de

Sprechstunden

Wenn die Tür offen ist / nach Vereinbarung.

Forschung

  • Provenienzanalyse für Logik und Spiele
  • Fixpunkttheorie über Halbringen
  • Modelltheorie für Logiken mit Halbringsemantik, insbesondere 0-1 Gesetze

Lehre

Ausgewählte Vorträge

Aktuelle Publikationen

Alle Publikationen