Nils Lommen

Research Assistant and PhD Student

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

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. I have been involved in the following teaching activities as a teaching assistant:

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