Harald König

Harald König serves as Adjunct Professor at Fachhochschule für die Wirtschaft Hannover (FHDW) in Germany. His research focuses on formal methods in software engineering, particularly model transformations and theoretical foundations of computer science. König has industry experience from SAP AG where he worked on financial services software including claims management systems.

His current research examines:

• Multi-model consistency management
• Formal foundations of object-oriented modeling
• Graph transformations
• Category theory applications

König collaborates on developing formal frameworks for model repair and consistency checking in software engineering, with recent publications focusing on colored Petri nets and verification techniques.