Teaching
Below you can find a chronological list of all my teaching activities.
Supervised Theses
Analyzing Strong Almost-Sure Termination for Probabilistic Term Rewriting Using Dependency Pairs by Leon Spitzer.
RWTH Aachen, Winter, 2024/2025. Integration of Advanced Interpretation Techniques for Termination Analysis of (Probabilistic) Term Rewriting by Jonas Säuberlich.
RWTH Aachen, Summer, 2024. Integration of New State-of-the-art SMT-Solvers into the Termination Tool AProVE by Jiaqian Chen.
RWTH Aachen, Winter, 2023/2024. Using Dependency Tuples for Proving Relative Termination of Term Rewriting by Grigory Vartanyan.
RWTH Aachen, Summer, 2023. Seminars
Satisfiability Checking
RWTH Aachen, Summer, 2025. Advanced Programming Concepts
RWTH Aachen, Summer, 2025. Verification Techniques
RWTH Aachen, Winter, 2024/2025. Advanced Programming Concepts
RWTH Aachen, Summer, 2024. Verification Techniques
RWTH Aachen, Winter, 2023/2024. Advanced Programming Concepts
RWTH Aachen, Summer, 2023. Verification Techniques
RWTH Aachen, Winter, 2022/2023. Lectures
Foundations of Logic Programming
RWTH Aachen, Summer, 2025. Programming
RWTH Aachen, Winter, 2024/2025. Foundations of Functional Programming
RWTH Aachen, Summer, 2024. Programming (Nominated for teaching award)
RWTH Aachen, Winter, 2023/2024. Programming
RWTH Aachen, Winter, 2022/2023. 