Software and Computational Systems Lab

Publications

• in DBLP
• until 2016

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