Lisa Pühl

Email: 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

Publications

2022
	Lisa Pühl. Verification of neural networks using binary tree search for branching, 2022.