- 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 consultant of the Information and Communication Profile Area.
I’m currently involved in the following teaching activities: