Nils Lommen

Research Assistant and PhD Student

RWTH Aachen | Office: Room 4208 at Ahornstraße 55 | Phone: 80-21214

Home Publications Teaching

Teaching | Nils Lommen

Teaching

So far I have supervised 4 Bachelor’s theses and 1 Master’s thesis. If you are interested in a thesis, please get in touch.

WS 2024/2025:

Lecture: Programming
Seminar: Verification Techniques

SS 2024:

Lecture: Formal Systems, Automata, Processes
Proseminar: Advanced Programming Concepts

WS 2023/2024:

Lecture: Programming
Seminar: Verification Techniques

SS 2023:

Lecture: Formal Systems, Automata, Processes (nominated for teaching award)

WS 2022/2023:

Lecture: Programming
Seminar: Verification Techniques

SS 2022:

Lecture: Logic Programming
Seminar: Satisfiability Checking
Proseminar: Advanced Programming Concepts

WS 2021/2022:

Lecture: Programming
Seminar: Verification Techniques