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

• 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.
• M. Hoelzel and R. Wilke. On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. In 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) (M. Fernández and A. Muscholl, Eds.), vol. 152 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 25:1–25:16, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2020.
• R. Wilke. On the Presburger Fragment of Logics with Multiteam Semantics. In Workshop on Logics of Dependence and Independence (J. Väänänen and F. Yang, Eds.), 2020.

Alle Publikationen