Lutz Klinkenberg
- 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)
Publications
| 2025 | |
|---|---|
| DOI | Lutz Klinkenberg. Analysis of probabilistic programs using generating functions, 1 Online-Ressource : Illustrationen, RWTH Aachen University, 2025. |
| 2024 | |
| DOI | Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions, 127, ACM, 2024. |
| 2023 | |
| DOI | Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen. Exact Probabilistic Inference Using Generating Functions, 3 Seiten, 2023. |
| DOI | Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions, 54 Seiten, 2023. |
| 2022 | |
| DOI | Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler. Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions; 1st ed. 2022., Computer aided verification : 34th international conference, CAV 2022, haifa, israel, august 7–10, 2022, proceedings, part I / edited by sharon shoham, yakir vizel, 79-101, Springer International Publishing, 2022. |
| 2021 | |
| DOI | Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. Generating Functions for Probabilistic Programs, Logic-based program synthesis and transformation : 30th international symposium, LOPSTR 2020, bologna, italy, september 7–9, 2020, proceedings / edited by maribel fernández, 231-248, Springer International Publishing [2021.] ; Cham : Imprint: Springer [2021.], 2021. |
| 2020 | |
| DOI | Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. Generating Functions for Probabilistic Programs, 2020. |