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