Lisa Pühl

Email: lisa.puehl@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

Lecture – Model Checking (WS26/27)
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

Own publications

2022

Bachelor’s thesis
Verification of neural networks using binary tree search for branching
Lisa Pühl
RWTH Aachen University
Advisers: Thomas Noll, Joost-Pieter Katoen
Consultants: Christopher Jan-Steffen Brix
RWTH record for Verification of neural networks using binary tree search for branching BibTeX for Verification of neural networks using binary tree search for branching

Supervised theses

2026

Bachelor’s thesis
Belief-tracking policies for partially observable MDPs via randomized finite-state controllers
Ole Dannemeyer
RWTH Aachen University
Advisers: Joost-Pieter Katoen, Tim Quatmann
Consultants: Tobias Winkler, Lisa Pühl
RWTH record for Belief-tracking policies for partially observable MDPs via randomized finite-state controllers BibTeX for Belief-tracking policies for partially observable MDPs via randomized finite-state controllers

All records on RWTH Publications