Lab directory
Software Modeling and Verification
Software Modeling and Verification
RWTH Aachen University · Computer Science
Information sourceChecked Jul 22, 2026
About
Prof. Thomas Noll at RWTH Aachen University Computer Science lists verification, modeling as their registered research area.
Research keywords
verificationmodeling
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