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. Christof Löding at RWTH Aachen University Computer Science lists logic, automata theory as their registered research area.
Research keywords
logicautomata theory
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
- Machine Learning on Graphs
Christopher Morris
graph neural networks, machine learning
- Quantum Information Systems
Dominique Unruh
quantum computing, quantum cryptography, quantum information