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 (0-1 laws, locality, ...)

Teaching

• Mathematical Logic (SS 20, SS 21, SS 22, SS 23)
• Algorithmic Model Theory (WS 22/23)
• Logic and Games (WS 21/22)
• Mathematical Logic II (WS 20/21)
• Seminar Logic, Complexity, Games:
  • 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

• 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.
• Computing Least and Greatest Fixed Points in Absorptive Semirings, held at RAMiCS 2021 in Marseille, France.
• Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials, held at GandALF 2021 in Padova, Italy.
• Semiring Provenance for Fixed-Point Logic, held at CSL 2021 (virtual meeting, organized by the University of Ljubljana, Slovenia).

Recent Publications

• E. Grädel, H. Helal, M. Naaf, and R. Wilke. Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. In Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022) (C. Baier and D. Fisman, Eds.), pp. 41:1–41:12. ACM, 2022.
• E. Grädel, H. Helal, M. Naaf, and R. Wilke. Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. arXiv:2203.03425 [cs.LO], full version of LICS'22 paper, 2022.
• K. M. Dannert, E. Grädel, M. Naaf, and V. Tannen. Semiring Provenance for Fixed-Point Logic. In 29th EACSL Annual Conference on Computer Science Logic (CSL 2021) (C. Baier and J. Goubault-Larrecq, Eds.), vol. 183 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 17:1–17:22, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2021.
• E. Grädel, N. Lücking, and M. Naaf. Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials. In Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021) (P. Ganty and D. Bresolin, Eds.), vol. 346 of EPTCS, pp. 67–82, 2021.
• E. Grädel, N. Lücking, and M. Naaf. Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials. arXiv:2106.12892 [cs.LO], full version of GandALF'21 paper, 2021.

All publications