- lisa.puehl at cs.rwth-aachen.de
- Address
- Room 4210
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21204
I am a PhD student in the Software Modeling and Verification Group headed by Professor Joost-Pieter Katoen.
Teaching
- Seminar – Seminar Trends in Model Checking (SS26)
- Lecture – Modelling and Verification of Probabilistic Systems (SS26)
- Seminar – Seminar Trends in Computer-Aided Verification (WS25/26)
Peer Review
- Logical Methods in Computer Science (lmcs) 2026 – Reviewer
- FM 2026 – Member of Artifact Evaluation Committee
- UAI 2026 – Subreviewer