Lab directory
Mathematical Foundations of Computer Science
Mathematical Foundations of Computer Science
RWTH Aachen University · Computer Science
Information sourceChecked Jul 22, 2026
About
Prof. Erich Grädel at RWTH Aachen University Computer Science lists logic, mathematical foundations as their registered research area.
Research keywords
logicmathematical foundations
Other labs in this department
- Computation in Neural Circuits
Abigail Morrison
neural computation, computational neuroscience
- Computer Vision
Bastian Leibe
computer vision, object detection, visual recognition
- Software Engineering
Bernhard Rumpe
software engineering, modeling
- Combinatorial Optimization
Christina Büsing
optimization, combinatorial algorithms
- Logic and Theory of Discrete Systems
Christof Löding
logic, automata theory
- Machine Learning on Graphs
Christopher Morris
graph neural networks, machine learning