Address

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

Fax:	+49-241-80-22215
Email:	wilke [AT] logic.rwth-aachen.de

Office Hours

Whenever the door is open / by appointment

Research

• Ich bin ein Teil des Graduiertenkollegs UnRAVeL
• Logics for Dependence and Independence
• Logics with Multiteam Semantics

Teaching

• Mathematical Logic (summer 16, summer 17, summer 18, summer 19, summer 20)
• Mathematical Logic II (winter 20/21) (jointly with Matthias Naaf and Benedikt Pago)
• Quantum Computing (summer 20)
• Logic and Games (winter 18/19) (jointly with Matthias Hoelzel and Katrin Dannert)
• Seminar
  • Seminar: Guarded Logics and Automata (winter 17/18)
  • Computational Social Choice (winter 18/19)
  • Logics for Reasoning about Uncertainty, Dependence and Independence (winter 19/20)
  • Automatic Structures (winter 20/21)

Recent Publications

• 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.
• R. Wilke. On the Presburger fragment of logics with multiteam semantics. Annals of Pure and Applied Logic, vol. 173(10), pp. 103120, 2022.

All publications