- lutz.klinkenberg at cs.rwth-aachen.de
- Address
- Room 4203
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21221
I was a former PhD Student at the Software Modeling and Verification Group headed by Professor J.-P. Katoen. I successfully finished my PhD at June 20th 2025.
Teaching
I was/am currently involved in the following teaching activities:
Seminars
- Proseminar Introduction to Program Analysis (SS20)
- Proseminar Introduction to Program Analysis (SS21)
- Seminar Formal Verification meets Machine Learning (WS21/22)
- Seminar Advanced Topics in Formal Semantics (WS21/22)
- Seminar Probabilistic Programming (WS22/23)
Courses
- Model Checking (WS19/20)
- Probabilistic Programming (WS20/21)
- Probabilistic Programming (WS22/23)
- Modeling and Verification of Probabilistic Systems (SS25)
PhD Thesis
My dissertation is available online:
Supervised Students:
- Denise Fromme (Master Thesis)
- Thomas Vogt (Master Thesis)
- Christian Blumenthal (Master Thesis)
- Alexander Salostowitz (Bachelor Thesis)
Awards
LOPSTR20: The article “Generating Functions for Probabilistic Programs” has won the best paper award.