Erstklassig in allen Rankings »

  • Hier lernen die Führungskräfte von morgen

Prof. Dr. Harald König

  • Jahrgang 1968
  • Studium der Mathematik an der Universität Hannover mit den Schwerpunkten Komplexe Analysis, Algebra und Topologie
  • 1993 - 1996 wissenschaftlicher Mitarbeiter am Mathematischen Institut der Universität Hannover
  • 1996 Promotion zum Dr. rer. nat. mit dem Thema "Konforme Konjugation in Baker-Gebieten"
  • 1996 - 2001 Angestellter in der Softwareentwicklung der SAP AG, Walldorf ; Mitarbeit in unterschiedlichen Projekten im Bereich Financial Services sowie SAP Insurance u.a. als Leiter des Software-Entwicklungsprojektes Claims Management
  • Seit Oktober 2001 Professor für Informatik und Wirtschaftsinformatik an der FHDW Hannover
  • Tätigkeit als freiberuflicher Berater im Bereich Software-Engineering

Forschungs- und Beratungsschwerpunkte

  • Geschäftsprozessmanagement
  • Modell Transformationen
  • Formale Grundlagen der Objektorientierten Softwaremodellierung
  • Graph Transformationen
  • Kategorientheorie und Software-Engineering

Veröffentlichungen

  • Conformal conjugacies in Baker domains, Journal of the London Math. Soc., (2) 59 (1999), S. 153 – 170
  • Algebraic properties of Interfaces, Together with Michael Löwe, Christoph Schulz, in: LNCS 3393, S. 190ff, 2005
  • Refactoring Information Systems – A Formal Framework, Together with M.Löwe, C. Schulz, M. Peters. Journal on Systemics, Cybernetics and Informatics 5 (2), 2007, S. 66–71
  • A categorical framework for the transformation of object-oriented systems: Models and data, Together with M. Löwe, C. Schulz. Journal of Symbolic Computation 46 (3), 2010, S. 316–337
  • Model Transformation and Induced Instance Migration: A Universal Framework, Together with M. Löwe, C. Schulz. In A. Simao, C. Morgan (Eds.) SBMF 2011, Lecture Notes in Computer Sciences 7021, pp 1 – 15, Springer, Heidelberg (2011)
  • Composition of Model Transformation: A Categorical Framework, Together with M. Löwe, C. Schulz. In Rohit Gheyi, David Naumann (Eds.) SBMF 2012, Lecture Notes in Computer Sciences 7498, pp 163 – 178, Springer, Heidelberg (2012)
  • Characterising Van Kampen Squares via Descent Data, Together with U. Wolter, M. Löwe. In: Proceedings of ACCAT 2012, EPTCS 93, 2012, pp. 61-81
  • Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi, Together with Uwe Wolter. Reports in Informatics, University of Bergen, issn = 0333-3590, volume 404, 2013
  • Algebraic Graph Transformations with Inheritance, Together with M. Löwe, C. Schulz, M. Schultchen, In Proceedings of SBMF 2013, Lecture Notes in Computer Sciences 8195, pp 211 – 227, Springer, Heidelberg (2013)
  • Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi together with Uwe Wolter.  Applied Categoricla Structures 2014, DOI = 10.1007/s10485-013-9339-2
  • Van Kampen Squares for Graph Transformation, Together with M. Löwe, C. Schulz, U. Wolter. In: Proceedings of ICGT 2014, Lecture Notes in Computer Sciences 8571, pp. 222–236, 2014

Softwareengineering, Theoretische Grundlagen der Informatik