Harald König
Adjunct Professor · Software Engineering
Western Norway University of Applied SciencesNorway
About
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.
Research fields
0Publications listed
Find Harald König elsewhere
Related Searches
You Might Also Like
- PPatrick StünkelWestern Norway University of Applied Sciences · Associate Professor
Lars Michael KristensenWestern Norway University of Applied Sciences · Professor
Uwe Egbert WolterUniversity of Bergen · Associate Professor
Barbara KönigUniversity of Duisburg-Essen · Professor- ZZinoviy DiskinMcMaster University · Adjunct Associate Professor
- JJavier EsparzaTechnical University of Munich · Professor