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 2016, SS 2017, SS 2018)
• Seminar: Bewachte Logiken und Automaten

Aktuelle Publikationen

• M. Hoelzel and R. Wilke. On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. arXiv e-prints, pp. arXiv:1910.06057, 2019.

Alle Publikationen