Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

Telefon:	+49-241-80-21722
Fax:	+49-241-80-22215
Büro:	4114a (E1) / Ahornstr. 55
E-Mail:	wilke [AT] logic.rwth-aachen.de

Sprechstunde

Wenn die Tür offen ist / nach Vereinbarung

Forschung

• I am associated with the research training group UnRAVeL
• Logiken der Abhängigkeit und Unabhängigkeit
• Logiken mit Multiteam-Semantik

Lehre

• Mathematische Logik (SS 16, SS 17, SS 18, SS 19, SS 20)
• Mathematische Logik II (WS 20/21) (mit Matthias Naaf und Benedikt Pago)
• Quanten-Computing (SS 20)
• Logik und Spiele (WS 18/19) (mit Matthias Hoelzel und Katrin Dannert)
• Seminar
  • Bewachte Logiken und Automaten (WS 17/18)
  • Computational Social Choice (WS 18/19)
  • Logics for Reasoning about Uncertainty, Dependence and Independence (WS 19/20)
  • Automatische Strukturen (WS 20/21)

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. 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.
• E. Grädel and R. Wilke. Logics with Multiteam Semantics. ACM Transations on Computational Logic, vol. 23(2), pp. 13:1–13:30, 2022.
• D. Haase, E. Grädel, and R. Wilke. Separation logic and logics with team semantics. Annals of Pure and Applied Logic, vol. 173(10), pp. 103063, 2022.
• M. Hoelzel and R. Wilke. On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. Logical Methods in Computer Science, vol. 17(3), 2021.

Alle Publikationen