Rolf Hennicker

Prof. Dr. Rolf Hennicker is an Associate Professor and Academic Director at the Department of Computer Science, Ludwig-Maximilians-Universität München (LMU Munich). He leads the Software and Computational Systems Lab, focusing on formal methods, component-based software engineering, and environmental simulation systems. His research emphasizes system specifications, concurrency, and dynamic logics for verifying complex systems.

He actively supervises academic activities, including lectures, seminars, and diploma theses. As project leader of GLOWA-Danube and RAJA, he develops decision support systems and authorization frameworks. Collaborations include the École Normale Supérieure de Cachan (France) on ensemble modeling and verification.

His work spans theoretical contributions to formal methods and practical applications in distributed systems, environmental modeling, and autonomous computing. Recent projects involve ensemble architectures and Helena frameworks for autonomic cloud systems.