Lehr- und Forschungsgebiet Informatik 2

Department of Computer Science

Moritz Leven Rosarius

Lehr- und Forschungsgebiet Informatik 2 RWTH Aachen 52056 Aachen Germany E-Mail: leven@cs.rwth-aachen.de Room: 4209, Ahornstr. 55

Research

I started as a PhD student at Lehr- und Forschungsgebiet Informatik 2 in April 2025.

Teaching Activities (Lehr- und Forschungsgebiet Informatik 2)

• Winter Semester 2025/2026
  • Lecture Programming Concepts (Programmierung)
  • Seminar Verification Techniques (Verifikationsverfahren)
• Summer Semester 2025
  • Lecture Formal Systems, Automata, Processes (Formale Systeme, Automaten, Prozesse)
  • Proseminar Advanced Programming Concepts (Fortgeschrittene Programmierkonzepte)
  • Seminar Satisfiability Checking