Lutz Klinkenberg

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

Courses

PhD Thesis

My dissertation is available online:

Dissertation cover

Supervised Students:

  • Denise Fromme (Master Thesis)
  • Thomas Vogt (Master Thesis)
  • Christian Blumenthal (Master Thesis)
  • Alexander Salostowitz (Bachelor Thesis)
    2024
    DOI fulltext PDF [bibtex]
    @article{EBILPPGF2024,
    title = {Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions},
    author = {Lutz Klinkenberg and Christian Blumenthal and Mingshuai Chen and Darion Haase and Joost-Pieter Katoen},
    publisher = {ACM},
    journal = {Proceedings of the ACM on programming languages},
    volume = {8(OOPSLA1)},
    pages = {pages 127},
    type = {Journal Article},
    year = {2024},
    doi = {10.1145/3649844},
    url = { https://publications.rwth-aachen.de/record/986464},
    }×
    [issue]     		Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions, Proceedings of the ACM on programming languages 8 (OOPSLA1), pages 127, ACM, 2024.
    2023
    DOI arXiv:2302.00513 fulltext PDF [bibtex]
    @unpublished{EPIUGF2023,
    title = {Exact Probabilistic Inference Using Generating Functions},
    author = {Lutz Klinkenberg and Tobias Winkler and Mingshuai Chen and Joost-Pieter Katoen},
    pages = {3 Seiten},
    type = {Preprint},
    year = {2023},
    doi = {10.48550/arXiv.2302.00513},
    url = { https://arxiv.org/abs/2302.00513},
    }×
    [issue]     		Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen. Exact Probabilistic Inference Using Generating Functions, 3 Seiten, 2023. https://arxiv.org/abs/2302.00513
    DOI arXiv:2307.07314 [bibtex]
    @unpublished{EBILPPGF2023,
    title = {Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions},
    author = {Lutz Klinkenberg and Christian Blumenthal and Mingshuai Chen and Darion Haase and Joost-Pieter Katoen},
    pages = {54 Seiten},
    type = {Preprint},
    year = {2023},
    doi = {10.48550/ARXIV.2307.07314},
    url = { https://arxiv.org/abs/2307.07314},
    }×
    [issue]     		Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions, 54 Seiten, 2023. https://arxiv.org/abs/2307.07314
    Show all

    Awards

    LOPSTR20: The article “Generating Functions for Probabilistic Programs” has won the best paper award.