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

Nach Vereinbarung, derzeit nur digital.

Forschung

• Provenienzanalyse für Logik und Spiele
• Halbringe für Provenienzanalyse
• Fixpunkttheorie über Halbringen
• Kompaktheitssätze für Gleichungssysteme

Aktuelle Publikationen

• K. M. Dannert, E. Grädel, M. Naaf, and V. Tannen. Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic. arXiv e-prints, pp. arXiv:1910.07910, 2019.
• M. Naaf. Semirings for Provenance Analysis of Fixed-point Logics and Games. Master thesis, RWTH Aachen University, 2019.

Alle Publikationen