Former 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

• Mathematical Logic (SS 20, SS 21, SS 22, SS 23)
• Algorithmic Model Theory (WS 22/23, SS 24)
• Provenance Analysis and Semiring Semantics for Logics and Games (SS 22, SS 24)
• Quantum Computing (SS 23)
• Logic and Games (WS 21/22)
• Mathematical Logic II (WS 20/21)
• Seminar Logic, Complexity, Games:
  • Fixed-Point Logics (WS 23/24)
  • Propositional Proof Complexity (WS 22/23)
  • Algorithmic Meta-Theorems and Parameterized Complexity (WS 21/22)
  • Automatic Structures (WS 20/21)
  • Logics for Reasoning about Uncertainty, Dependence and Independence (WS 19/20)

Selected Talks

• Algorithmic Aspects of Semiring Provenance for Stratified Datalog, held at the Simons Institute workshop Logic and Algebra for Query Evaluation (2023) in Berkely, USA.
• Locality Theorems in Semiring Semantics, held at AlMoTh 2023 in Bochum, Germany.
• Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics, held at LICS 2022 as part of FLoC 2022 in Haifa, Israel.
• Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials, held at GandALF 2021 in Padova, Italy.
• Winning Games with Semiring Provenance, a fun 3-minute lightning talk, held at the Lightning Math Night (2024) at RWTH Aachen.

Recent Publications

• S. Brinke, A. Dawar, E. Grädel, L. Mrkonjić, and M. Naaf. Compactness in Semiring Semantics. In 34th EACSL Annual Conference on Computer Science Logic (CSL 2026) (S. Guerrini and B. König, Eds.), vol. 363 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 13:1–13:21, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026.
• S. Brinke, E. Grädel, L. Mrkonjić, and M. Naaf. Semiring Provenance in the Infinite. In The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen (A. Amarilli and A. Deutsch, Eds.), vol. 119 of Open Access Series in Informatics (OASIcs), pp. 3:1–3:26, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024.
• E. Grädel, N. Lücking, and M. Naaf. Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials. Logical Methods in Computer Science, vol. 20(1), 2024.
• M. Naaf. Logic, Semirings, and Fixed Points. PhD thesis, RWTH Aachen University, 2024.
• C. Bizière, E. Grädel, and M. Naaf. Locality Theorems in Semiring Semantics. In 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023) (J. Leroux, S. Lombardy, and D. Peleg, Eds.), vol. 272 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 20:1–20:15, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023.

All publications