Teaching

Courses this semester

Winter 2026/27

Lecture Model Checking
Bachelor / MasterTim Quatmann
Lecture Probabilistic Programming
MasterJoost-Pieter Katoen
Lecture Semantics and Verification of Software
MasterThomas Noll

Practical Course Model Checking
MasterTim Quatmann

Proseminar Datenstrukturen und Algorithmen
BachelorThomas Noll
Seminar Trends in Computer-Aided Verification
Bachelor / MasterThomas Noll

Bridging Course Foundations of Informatics
Thomas Noll

Other courses

Lecture Advanced Model Checking
Master · Winter / SummerJoost-Pieter Katoen
Lecture Compiler Construction
Bachelor / Master · SummerThomas Noll
Lecture Concurrency Theory
Master · WinterThomas Noll
Lecture Datenstrukturen und Algorithmen
Bachelor · SummerJoost-Pieter Katoen
Lecture Formale Systeme, Automaten, Prozesse
Bachelor · SummerJoost-Pieter Katoen
Lecture Modelling and Analysing Concurrent Systems
Master · WinterThomas Noll
Lecture Modelling and Verification of Probabilistic Systems
Master · SummerJoost-Pieter Katoen
Lecture Static Program Analysis
Master · SummerThomas Noll
Lecture Theoretical Foundations of the UML
Master · WinterJoost-Pieter Katoen

Practical Course Implementation of Heuristic Algorithms for Board Games
Bachelor · SummerPhilipp Schroer

Thesis Projects

If you are interested in writing your BSc or MSc thesis in the MOVES group, please contact Prof. Dr. Joost-Pieter Katoen, Prof. Dr. Thomas Noll, or send a general request to thesis@i2.informatik.rwth-aachen.de.

Please include your transcript of records and indicate when you would like to start working on your project.

Thesis projects and award-winning theses