Paper accepted at CAV: SecCSL: Security Concurrent Separation Logic

Prof. Dr. Rolf Hennicker

apl. Prof., Academic Director

Picture of Prof. Dr. Rolf Hennicker

Software and Computational Systems Lab
Institute for Informatics
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

Office
Room F 012, Oettingenstr. 67
Phone
+49 89 2180 9184
Fax
+49 89 2180 9152
E-Mail
hennicker (at) ifi.lmu.de

Publications

Forschungsgebiete

  • Formale Methoden der Software-Entwicklung
  • Komponenten-basierte Software-Entwicklung
  • Objektorientiertes Software-Engineering
  • Algebraische Spezifikationen
  • Umweltsimulationssysteme

Tätigkeiten

  • Vorlesungen, Betreuung von Übungen, Seminaren, Praktika und Diplomarbeiten
  • Leiter der Projektgruppe Informatik des Verbundprojekts GLOWA-Danube: Integrative Techniques, Scenarios and Strategies for the Future of Water in the upper Danube Basin: Development of a Distributed Modeling and Decision Support System
  • Leiter des Projekts RAJA: Entwicklung eines regelbasierten und echtzeitfähigen Autorisierungsframeworks auf Java-Basis
  • Enge wissenschaftliche Zusammenarbeit mit der Ecole Normale Superieure de Cachan (Frankreich)
  • Vorsitzender des Prüfungsausschusses für Diplom-Informatik
  • Fachstudienberatung Informatik