Lab directory
Logic and Theory of Discrete Systems
Logic and Theory of Discrete Systems
RWTH Aachen University · Computer Science
Information sourceChecked Jul 22, 2026
About
Prof. Martin Grohe at RWTH Aachen University Computer Science lists logic, discrete structures, theory as their registered research area.
Research keywords
logicdiscrete structurestheory
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