- 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 Computer-Aided Verification (WS25/26)