- lutz.klinkenberg at cs.rwth-aachen.de
- Room 4203
- +49 241 80 21221
I am a PhD student at the Software Modeling and Verification Group headed by Professor J.-P. Katoen. I am a member of the FRAPPANT project working on probabilistic programs. Furthermore, I am the managing director of the Information and Communication Profile Area.
I was/am currently involved in the following teaching activities:
- Seminar Formal Verification meets Machine Learning (WS21/22)
- Seminar Advanced Topics in Formal Semantics (WS21/22)
- Proseminar Introduction to Program Analysis (SS21)
- Probabilistic Programming (WS20/21)
- Proseminar Introduction to Program Analysis (SS20)
- Model Checking (WS19/20)
I am always looking forward to working with students. If you are looking for a bachelor/master thesis in the context of probabilistic program semantics and verification and their connection to formal power series and recurrence relations, do not hesitate to contact me. If you have your own ideas in research fields related to these topics which you want to investigate during a final thesis, feel free to drop an email or just visit me in the office for some interesting discussions.
I’m currently supervising:
- Thomas Vogt (Master Thesis)
- Christian Blumenthal (Master Thesis)
- Jonathan Lehmkuhl (Bachelor Thesis)
- Denise Fromme (Master Thesis)
|[bibtex] [issue]||Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. Generating Functions for Probabilistic Programs, 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR2020), Volume 12561 of Theoretical Computer Science and General Issues, 231-248, Springer, 2021.|
|[bibtex] [issue]||Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. Generating Functions for Probabilistic Programs, 2020. https://arxiv.org/abs/2007.06327|
LOPSTR20: The article “Generating Functions for Probabilistic Programs” has won the best paper award.