Lab directory
Programming Languages and Verification
Programming Languages and Verification
RWTH Aachen University · Computer Science
Information sourceChecked Jul 22, 2026
About
Prof. Jürgen Giesl at RWTH Aachen University Computer Science lists program verification, termination analysis as their registered research area.
Research keywords
program verificationtermination analysis
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