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. arXiv:2203.03425 [cs.LO], 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.
• 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.
• E. Grädel, D. Haase, and R. Wilke. Separation Logic and Logics with Team Semantics. In Workshop on Logics of Dependence and Independence (J. Väänänen and F. Yang, Eds.), 2020.
• E. Grädel and R. Wilke. Logics with Multiteam Semantics. arXiv:2011.09834 [cs.LO], 2020.

Alle Publikationen