Profil

Die Schwerpunkte meiner Forschungstätigkeit liegen in den Bereichen:

• Heterogene formale Methoden der Softwaretechnik
• Formale Modelle der Begriffsbildung
• Verteilte heterogene Ontologien, Modelle und Spezifikationen