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

Lehre

• Mathematische Logik (SS 20, SS 21, SS 22)
• Logik und Spiele (WS 21/22)
• Mathematische Logik II (WS 20/21)
• Seminar Logik, Komplexität, Spiele:
  • Algorithmische Meta-Theoreme und parametrisierte Komplexität (WS 21/22)
  • Automatische Strukturen (WS 20/21)
  • Logics for Reasoning about Uncertainty, Dependence and Independence (WS 19/20)

Ausgewählte Vorträge

• 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).

Aktuelle Publikationen

• 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], 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.
• M. Naaf. Computing Least and Greatest Fixed Points in Absorptive Semirings. arXiv:2106.00399 [cs.LO], full version of RAMiCS'21 paper, 2021.

Alle Publikationen